丹尼尔·迪特施;马蒂亚斯·海兹曼;多米尼克·克伦普;迈赫迪·瑙阿尔;安德烈亚斯·波德尔斯基;克劳斯·施瓦兹勒 使用Petri网展开验证并发程序。 （英语） Zbl 1472.68087号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597174-195（2021年）。MSC公司：60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietsch}等人，Lect。注释计算。科学。12597174-195（2021年；Zbl 1472.68087） 全文： 内政部
丹尼尔·迪特施;马蒂亚斯·海兹曼;Jochen Hoenicke公司;亚历山大·纳茨;安德烈亚斯·波德尔斯基 映射相等域。 （英语） Zbl 1403.68039号 Piskac、Ruzica（编辑）等人，《验证软件》。理论、工具和实验。第十届国际会议，2018年7月18日至19日，英国牛津，VSTTE 2018。修订了选定的论文。查姆：施普林格（ISBN 978-3-030-03591-4/pbk；978-3-0.30-03592-1/电子书）。计算机科学课堂讲稿11294，291-308（2018）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietsch}等人，Lect。注释计算。科学。11294、291--308（2018；Zbl 1403.68039） 全文： 内政部