×

找到17个文档（结果1-17）

最新的 引文 关联
约坦·德维尔;奥哈德·卡玛;奥里·拉哈夫

共享状态并发的代数理论。 （英语） Zbl 1524.68055号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 3-24 (2022).
MSC公司：68甲15 68N20型 68号30 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.Dvir}等人，Lect。注释计算。科学。13658，3--24（2022；Zbl 1524.68055）
全文： 内政部 链接
Manuel Gieseking先生;奥尔德罗格（Ernst-Rüdiger Olderog）

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

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。13030, 115-137 (2022).
MSC公司：68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gieseking}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13030115--137（2022；Zbl 1522.68364）
全文： 内政部 arXiv公司
斯文·施奈德;玛丽亚·马克西莫娃;霍尔格·吉斯

使用（k）-归纳法对多智能体图变换系统进行不变量分析。 （英语） Zbl 1514.68093号

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 173-192 (2022).
MSC公司：2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}等人，Lect。注释计算。科学。13349，173--192（2022；Zbl 1514.68093）
全文： 内政部
保罗·汉尼拔;奥尔德罗格（Ernst-Rüdiger Olderog）

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

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 236-257 (2022).
MSC公司：68问题85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Hannibal}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13288，236--257（2022；Zbl 1499.68225）
全文： 内政部
阿玛斯·塞万提斯;法博德·塔莫里

从事件日志中发现未发现的行为。 （英语） Zbl 1499.68217号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 23-42 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛A.Armas Cervantes｝和\textit｛F.Taymouri｝，Lect。注释计算。科学。13288，23-42（2022；Zbl 1499.68217）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件