塞巴斯蒂安·拉哈耶;赖爱文;简·科门达;Jean-Louis Boimond 对max-plus自动机确定的贡献。 (英文) 兹比尔1435.68177 离散事件动态。系统。 30,第1期,155-174(2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lahaye}等人,《离散事件动力学》。系统。30,第1号,155--174(2020;Zbl 1435.68177) 全文: 内政部
安妮·凯瑟琳·施穆克;托马斯·摩尔;鲁帕克·马朱姆达尔 关于反应合成与非终止过程监控之间的关系。 (英文) Zbl 1441.93173号 离散事件动态。系统。 30,编号1,81-124(2020).MSC公司:93元62角 93元65角 93亿B50 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人,离散事件动态。系统。30,第1号,81-124(2020;Zbl 1441.93173) 全文: 内政部
马吕斯·克劳泽;克里斯蒂安·马胡利亚 基于LTL规范和Petri网模型的机器人团队路径规划。 (英文) Zbl 1441.93194号 离散事件动态。系统。 30,第1期,55-79页(2020年).MSC公司:93C85号 68问题85 03B44号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Kloetzer}和\textit{C.Mahulea},离散事件动力学。系统。30,第1号,55-79(2020年;兹bl 1441.93194) 全文: 内政部
迪米特里·博伦德;斯特凡·科瓦列夫斯基 利用Horn子句解决PLC软件的成分验证。 (英文) Zbl 1435.68190号 离散事件动态。系统。 30,编号1,1-24(2020).MSC公司:60年第68季度 68号30 68问题55 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bohlender}和\textit{S.Kowalewski},离散事件Dyn。系统。30,第1号,1-24(2020;Zbl 1435.68190) 全文: 内政部