伊戈尔·科诺夫；玛丽亚娜·拉齐奇；赫尔穆特·维思；约瑟夫·威德 \（\text{Para}^2）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 （英语） Zbl 1380.68279号 形式方法系统。设计。 51，第2期，270-307（2017）.MSC公司：60年第68季度 64岁以下 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，《形式方法系统》。设计。51，第2号，270--307（2017；Zbl 1380.68279） 全文： 内政部
阿努Gmeiner；伊戈尔·科诺夫；乌尔里希·施密德；赫尔穆特·维思；约瑟夫·威德 容错分布式算法的参数化模型检查教程。 （英语） Zbl 1445.68133号 Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。票据计算。科学。8483, 122-171 (2014).MSC公司：60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gmeiner}等人，Lect。票据计算。科学。8483122--171（2014年；Zbl 1445.68133） 全文： 内政部
科尔钦，A.V。 一种动态构造形式模型状态抽象的自动方法。 （英语。俄文原件） Zbl 1288.68166号 赛博。系统。分析。 46，第4期，583-601（2010）; 翻译自Kibern。修女。分析。2010年，第4期，70-90（2010）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Kolchin}，Cybern。系统。分析。46，No.4，583--601（2010；Zbl 1288.68166）；翻译自Kibern。修女。分析。2010年第4期，70--90（2010） 全文： 内政部
奥尔加·格林斯坦；马丁·勒克 实时系统的网络不变量。 （英语） Zbl 1163.68326号 正式Asp。计算。 20，第6号，619-635（2008）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}和\textit{M.Leucker}，正式Asp。计算。20，第6号，619--635（2008；Zbl 1163.68326） 全文： 内政部
何塞·梅塞格尔；米盖尔·帕洛米诺；马蒂·奥利特，纳西索 等式抽象。 （英语） Zbl 1155.68050号 西奥。计算。科学。 403，编号2-3，239-264（2008）.MSC公司：60年第68季度 03B44号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，Theor。计算。科学。403，编号2--3，239--264（2008；Zbl 1155.68050） 全文： 内政部
贾斯敏·费希尔；托马斯·亨辛格（Thomas A.Henzinger）。；玛蒂埃斯库；尼尔·皮特曼 有界异步：用于建模细胞间交互的并发性。 （英语） Zbl 1375.92018年 Jasmin Fisher（编辑），《系统生物学中的形式方法》。第一次国际研讨会，2008年6月4日至5日，英国剑桥，FMSB 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68410-7/pbk）。计算机科学课堂讲稿5054。生物信息学课堂讲稿，17-32（2008）。MSC公司：92立方37 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fisher}等人，Lect。票据计算。科学。5054，17-32（2008；Zbl 1375.92018） 全文： 内政部 链接
圣地亚哥埃斯科瓦尔；何塞·梅塞格尔；普拉桑纳·塔蒂 缩小和重写逻辑：从基础到应用。 （英语） Zbl 1279.68205号 López Fraguas，Francisco J.（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》177，5-33（2007）。MSC公司：60年第68季度 03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，《电子》。注释Theor。计算。科学。177、5-33（2007年；Zbl 1279.68205） 全文： 内政部
马丁·勒克 学习与验证相结合。 （英语） Zbl 1147.68541号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。计算机科学课堂讲稿4709127-151（2007）。MSC公司：68问题32 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker}，莱克特。票据计算。科学。4709127--151（2007年；Zbl 1147.68541） 全文： 内政部
比约恩·瓦希特；伯恩德·韦斯特法尔 聚光灯原则。关于组合过程汇总状态抽象。 （英语） Zbl 1132.68484号 Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349182-198（2007）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Wachter}和\textit{B.Westphal}，莱克特。票据计算。科学。4349、182--198（2007年；Zbl 1132.68484） 全文： 内政部
何塞·梅塞格尔；普拉桑纳·塔蒂 使用窄化的符号可达性分析及其在密码协议验证中的应用。 （英语） Zbl 1115.68079号 高-订购符号。计算。 20，编号1-2，123-160（2007）.MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{P.Thati}，高-订购符号。计算。20，编号1--2，123-160（2007；Zbl 1115.68079） 全文： 内政部
萨米克·巴苏；罗摩克里希南。 参数化系统验证的成分分析。 （英语） 兹比尔1088.68100 西奥。计算。科学。 354，第2期，211-229（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}和\textit{C.R.Ramakrishnan}，Theor。计算。科学。354，第2号，211-229（2006；Zbl 1088.68100） 全文： 内政部
尤尼特·凯斯滕；尼尔·皮特曼；阿米尔·普努利 缩小公平模拟和跟踪包含之间的差距。 （英语） Zbl 1082.68055号 Inf.计算。 200，第1期，35-61（2005）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人，《信息计算》。200，编号1，35--61（2005；Zbl 1082.68055） 全文： 内政部 链接
祖克，莱诺；阿米尔·普努利 借助参数化系统进行模型检查和抽象（调查）。 （英语） Zbl 1072.68069号 计算。语言系统。结构。 30，第3-4139-169号（2004）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}和\textit{A.Pnueli}，计算。语言系统。结构。30，编号3--4，139-169（2004；Zbl 1072.68069） 全文： 内政部