Proceedings of Conference on L Functions
Proceedings of Conference on L Functions
复制标题
L 函数会议论文集
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
M KANEKO(eds)
中科院分区：
文献类型：
--
作者：
L WENG;M KANEKO(eds)
登录
查看更多内容
VLSI 的面积时间复杂度
DOI：
--
发表时间：
1979
期刊：
Symposium on the Theory of Computing
影响因子：
--
作者：
Clark D. Thomborson
通讯作者：
Clark D. Thomborson
DOI：
10.1007/bf00464357
发表时间：
1992
期刊：
Formal Methods Syst. Des.
影响因子：
--
作者：
J. Jain;J. Abraham;J. Bitner;D. Fussell
通讯作者：
D. Fussell
符号模型检查：IO *’状态及其他*
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
J. Burch;E. Clarke;K. McMillan;D. Dill;L. Hwang
通讯作者：
L. Hwang
DOI：
10.1145/217474.217564
发表时间：
1995
期刊：
32nd Design Automation Conference
影响因子：
--
作者：
J. Jain;R. Mukherjee;M. Fujita
通讯作者：
M. Fujita
自由布尔图的等价性可以在多项式时间内概率性地确定
DOI：
10.1016/s0020-0190(80)90078-2
发表时间：
1980
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
M. Blum;A. K. Chandra;M. Wegman
通讯作者：
M. Wegman