×

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

一种新的部分透视调度验证程序。 (英语) Zbl 1124.68014号

Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829127-141(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段