帕特里夏·鲍耶;乌里·法伦贝格;拉森，金·古尔德斯特朗;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 （英语） 兹比尔1392.68235 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
Michael Leuschel先生;蒂埃里·马萨特 通过对称标记对B和Z模型进行有效的近似验证。 （英语） Zbl 1209.68127号 安。数学。Artif公司。智力。 59，第1期，81-106（2010）.MSC公司：68号30 第68季度第60季度 68兰特 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}和\textit{T.Massart}，安·数学。Artif公司。智力。59，第1号，81--106（2010；Zbl 1209.68127） 全文： 内政部
托马斯·沃尔;维杰·德·席尔瓦 减少对称性的懒惰方法。 （英语） Zbl 1214.68225号 正式Asp。计算。 22，第6期，713-733（2010）.MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Wahl}和\textit{V.D'Silva}，正式Asp。计算。22，第6号，713--733（2010；Zbl 1214.68225） 全文： 内政部 哈尔
穆罕默德·马赫迪;马尔詹·西尔贾尼;穆罕默德·雷扎·穆萨维;埃桑·卡梅斯帕纳;阿里·莫瓦加尔 Rebeca模型检验中的对称性和部分降阶技术。 （英语） Zbl 1185.68142号 学报信息。 47，第1号，33-66（2010）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛M.M.Jaghouri｝等人，《情报法》第47卷，第1期，第33-66页（2010年；兹bl 1185.68142） 全文： 内政部 链接
汉娜·克劳代尔;马西耶·库特尼;伊丽莎白·佩尔兹;法兰克·波默罗 通过动态过程创建实现系统的有效验证。 （英语） Zbl 1161.68622号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160186-200（2008）。MSC公司：68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}等人，Lect。注释计算。科学。5160186-200（2008年；Zbl 1161.68622） 全文： 内政部 哈尔
霍华德·鲍曼;鲁道夫·戈麦斯 如何停止计时。 （英语） Zbl 1105.68059号 正式Asp。计算。 18，第4期，459-493（2006）.MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{R.Gomez}，正式Asp。计算。18，第4号，459--493（2006；Zbl 1105.68059） 全文： 内政部