Manuel Gieseking先生;奥尔德罗格（Ernst-Rüdiger Olderog）;尼克·Würdemann 解决高级Petri游戏。 （英语） Zbl 1443.68112号 学报信息。 57，编号3-5，591-626（2020）.MSC公司：68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gieseking}等人，《学报》第57期，第3--5591--626号（2020年；Zbl 1443.68112） 全文： 内政部 OA许可证
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 并发网络更新中的模型检查数据流。 （英语） Zbl 1437.68115号 Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11781, 515-533 (2019).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。票据计算。科学。11781、515--533（2019年；Zbl 1437.68115） 全文： 内政部 arXiv公司