SPECIAL ISSUE ON COMPUTER-AIDED VERIFICATION - SPECIAL METHODS .2.

被引：0

作者：

KURSHAN, R ^{[1
]}

机构：

[1] AT&T BELL LABS,MURRAY HILL,NJ 07974

来源：

FORMAL METHODS IN SYSTEM DESIGN | 1993年 / 2卷 / 02期

关键词：

D O I：

10.1007/BF01383877

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：119 / 119

页数：1

相关论文

empty

未找到相关数据