×

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

基于SAT的定时组件连接器验证。 (英语) Zbl 1366.68172号

Salaün,Gwen(编辑)等人,第八届协调语言和软件架构基础国际研讨会会议记录(FOCLASA 2009),希腊罗德斯,2009年7月11日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记255,103-118(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

出版年份

主字段