卢卡什·霍利克;马丁·赫鲁斯卡;Ondřej省Lengál;亚当·罗加列维奇;汤姆·沃纳 森林自动机的反例验证和基于插值的精化。 （英语） Zbl 1484.68103号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 288-309 (2017).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人，Lect。票据计算。科学。10145，288--309（2017；Zbl 1484.68103） 全文： 内政部
彼得·哈贝梅尔;卢卡什·霍利克;亚当·罗加列维奇;Šimáckek，Jiří;汤姆·沃纳 用于验证堆操作的森林自动机。 （英语） Zbl 1284.68398号 形式方法系统。设计。 41，第1期，83-106（2012）.MSC公司：60年第68季度 65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}等人，《形式方法系统》。设计。41，第1号，第83-106条（2012；Zbl 1284.68398） 全文： 内政部
拉杜·奥西夫;亚当·罗加列维奇 基于自动终端证明。 （英语） 兹比尔1248.68148 Maneth，Sebastian（编辑），自动机的实现和应用。2009年7月14日至17日在澳大利亚悉尼举行的CIAA 2009第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02978-3/pbk）。计算机科学讲座笔记5642165-177（2009）。MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}和\textit{A.Rogalewicz}，莱克特。票据计算。科学。5642、165--177（2009年；Zbl 1248.68148） 全文： 内政部 哈尔