蒂诺·特伊格;安德烈亚斯·艾格斯;马丁·范策尔 并发概率混合系统的基于约束的分析：网络自动化系统的应用。 （英语） Zbl 1225.93102号 非线性分析。，混合系统。 5，第2期，343-366（2011）。MSC公司：93E03型 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}等人，《非线性分析》。，混合系统。5，编号2434-366（2011年；兹bl 1225.93102） 全文： 内政部
马丁·范策尔;蒂诺·特伊格;安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 （英语） Zbl 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） 全文： 内政部
安德烈亚斯·艾格斯;纳塔利亚·卡林尼克;Stefan Kupferschmid;蒂诺·特伊格 混合系统基于约束分析的挑战。 （英语） Zbl 1248.68328号 Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，51-65（2009）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5655、51-65（2009年；Zbl 1248.68328） 全文： 内政部
安德烈亚斯·艾格斯;马丁·范策尔;克里斯蒂安·赫尔德 SAT模ODE：混合系统的直接SAT方法。 （英语） Zbl 1183.68369号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311171-185（2008）。MSC公司：60年第68季度 65克30 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5311171-185（2008年；兹比尔1183.68369） 全文： 内政部