莫妮卡·亨津格 计算机辅助验证问题的细粒度复杂性下限。 （英语） Zbl 1528.68225号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 292-305 (2022).MSC公司：60年第68季度 2010年第68季度 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Henzinger}，莱克特。票据计算。科学。13660、292--305（2022年；Zbl 1528.68225） 全文： 内政部
鲁帕克·马朱姆达尔；Jean-François拉斯金 非布尔域中的符号模型检查。 （英语） Zbl 1392.68259号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1111-1147 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}和\textit{J.-F.Raskin}，in：模型检查手册。查姆：斯普林格。1111--1147（2018；Zbl 1392.68259） 全文： 内政部
奥尔纳库普弗曼；加尔瓦尔迪 关于相对和概率有限抗衡性。 （英语） 兹比尔1390.68433 形式方法系统。设计。 52，第2期，117-146（2018）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛O.Kupferman｝和\textit｛G.Vardi｝，表格方法系统。设计。52，第2号，117--146（2018；Zbl 1390.68433） 全文： 内政部 链接
皮埃尔·香巴特；阿兰·芬克尔；西尔万·施密茨 有迹WSTS的正向分析和模型检查。 （英语） Zbl 1343.68162号 西奥。计算。科学。 637, 1-29 (2016).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chambart}等人，Theor。计算。科学。637，1--29（2016；Zbl 1343.68162） 全文： 内政部
维杰·德·席尔瓦；米特拉·普兰达尔；丹尼尔·克罗宁 用于基于插值的模型检查的近似细化。 （英语） Zbl 1138.68444号 Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿4905，68-82（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.D'Silva}等人，Lect。票据计算。科学。4905,68--82（2008年；Zbl 1138.68444） 全文： 内政部
罗伯托·塞巴斯蒂亚尼；伊莱·辛格曼；Stefano托内塔；莫舍·瓦尔迪。 GSTE是分区模型检查。 （英语） Zbl 1129.68044号 形式方法系统。设计。 第2期第31页，177-196（2007）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}等人，《形式方法系统》。设计。31，第2号，177--196（2007；Zbl 1129.68044） 全文： 内政部
Geeraerts，G。；J.-F.拉斯金。；范贝京。 扩展、放大和检查：WSTS可覆盖性问题的新算法。 （英语） Zbl 1105.68084号 J.计算。系统。科学。 72，第1期，180-203（2006）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人，J.Compute。系统。科学。72，第1号，180--203（2006；Zbl 1105.68084） 全文： 内政部