马丁·范策尔；蒂诺·特伊格；安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 （英语） 兹比尔1205.68252 J.日志。阿尔盖布。程序。 79，第7期，436-466（2010）.MSC公司：87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，J.Log。阿尔盖布。程序。79，编号7，436--466（2010；Zbl 1205.68252） 全文： 内政部
安德烈亚斯·艾格斯；马丁·范策尔；赫尔德，基督徒 SAT模ODE：混合系统的直接SAT方法。 （英语） Zbl 1183.68369号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311171-185（2008）。MSC公司：60年第68季度 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5311、171--185（2008年；Zbl 1183.68369） 全文： 内政部
马丁·范策尔；霍尔格·赫尔曼斯；蒂诺·特伊格 随机可满足性模理论：概率混合系统分析的新技术。 （英语） Zbl 1143.68452号 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981172-186（2008）。MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。4981、172--186（2008年；Zbl 1143.68452） 全文： 内政部