×

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

避免时间自动机网络中的共享时钟。 (英语) Zbl 1364.68274号

Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。计算机科学课堂讲稿7454,100-114(2012)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

参数时间自动机的逆方法。 (英语) Zbl 1337.68150号

Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223,29-46(2008)。
MSC公司:65年第68季度 60年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段