×

找到2个文档(结果1-2)

一种有效的基于表的无功系统规范部分评估验证方法。 (英语) Zbl 1004.68095号

Jaakkola,Hannu(编辑)等人,《信息建模和知识库》。第12卷。阿姆斯特丹:IOS出版社。前面。Artif公司。因特尔。申请。67, 363-374 (2001).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

主字段