帕特里夏·布耶;保罗·加斯廷;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。 时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426） 全文： 内政部 arXiv公司
John，Ajith K。;Supratik查克拉博蒂 一种用于从线性模块约束中消除量词的分层算法。 （英语） Zbl 1368.68332号 表格方法系统。设计。 49，第3期，272-323（2016）.MSC公司：68瓦30 65层99 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.John}和\textit{S.Chakraborty}，《形式方法系统》。设计。49，第3号，272--323（2016；Zbl 1368.68332） 全文： 内政部
威廉·哈格曼 凸多面体上的有效几何运算，以及在混合系统可达性分析中的应用。 （英语） Zbl 1341.68293号 数学。计算。科学。 2015年第3期第9期第283-325页.MSC公司：68单位05 52号B11 90C05（二氧化碳） 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛W.Hagemann｝，数学。计算。科学。9，第3号，283--325（2015；Zbl 1341.68293） 全文： 内政部
达姆，沃纳;卡斯滕·伊勒曼;维奥里卡Sofrone-Stokkerman 合理线性混合自动机安全特性的PTIME参数验证。 （英语） Zbl 1262.68113号 数学。计算。科学。 5，第4期，469-497（2011）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Damm｝等人，数学。计算。科学。5，第4号，469--497（2011；Zbl 1262.68113） 全文： 内政部 链接
贾·戴维德·奎塞尔;马丁·范策尔;达姆，沃纳 跨越类似游戏之间的桥梁。 （英语） Zbl 1348.68147号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，160-176（2011）。MSC公司：60年第68季度 65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人，Lect。注释计算。科学。6919、160--176（2011年；Zbl 1348.68147） 全文： 内政部