×

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

控制器综合的合成框架。 (英语) Zbl 1329.68182号

Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学讲义6901,512-527(2011)。
MSC公司:68问题85 93亿B50
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

出版年份

主字段

软件