×

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

Petri游戏基准系列的高级表示。 (英语) Zbl 1522.68364号

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 115-137 (2022).
MSC公司:68问题85 91A80型
PDF格式BibTeX公司 XML格式引用

重复通信Petri博弈的综合问题。 (英语) Zbl 1499.68225号

Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13288236-257(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发网络更新中的模型检查数据流。 (英语) Zbl 1437.68115号

Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。1178155-533(2019年)。
PDF格式BibTeX公司 XML格式引用

通信系统语言之间的接口。 (英语) 兹比尔1425.68300

Kuich,Werner(编辑),自动机,语言和编程。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。第623641-655页(1992年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段