Probabilistic verification of Boolean functions

Probabilistic verification of Boolean functions
复制标题

布尔函数的概率验证

DOI：
10.1007/bf00464357
复制
发表时间：
1992
期刊：
Formal Methods Syst. Des.
影响因子：
--
通讯作者：
D. Fussell
D. Fussell
中科院分区：
--
文献类型：
--
作者：
J. Jain;J. Abraham;J. Bitner;D. Fussell

文献摘要

被引文献

相似文献