×

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

轩尼诗-米尔纳逻辑的可判定扩展。 (英语) Zbl 1225.03031号

Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议,法国巴黎,2006年9月26-29日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿4229196-211(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

软件