托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 灵活的正确施工规划。 （英语） 兹伯利07731927 日志。方法计算。科学。 19，第2号，第16号论文，36页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人，日志。方法计算。科学。19，第2号，第16号论文，36页（2023；Zbl 07731927） 全文： 内政部 arXiv公司 OA许可证
托拜厄斯·隆格;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 特点：免费修缮。 （英语） 兹比尔1499.68067 Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 131-150 (2022).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人，Lect。注释计算。科学。13273、131-150（2022年；Zbl 1499.68067） 全文： 内政部 arXiv公司