乌鸦·贝特纳；伯恩德·芬克贝纳；赫金·哈布什，杰斯科 将异步游戏转换为分布式合成。 （英语） Zbl 07649934号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第26条，第16页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Beutner}等人，LIPIcs——莱布尼茨国际程序。通知。140，第26条，第16页（2019；Zbl 07649934） 全文： DOI程序 arXiv公司
伯恩德·芬克贝纳；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） 全文： DOI程序 arXiv公司
赫金·哈布什，杰斯科；Niklas O.Metzger。 异步分布式系统有界综合的有效跟踪编码。 （英语） Zbl 1437.68128号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 369-386 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hecking-Harbusch}和\textit{N.O.Metzger}，莱克特。注释计算。科学。11781369--386（2019年；Zbl 1437.68128） 全文： DOI程序 arXiv公司