维姆·赫塞林克。 UNITY和Büchi自动机。 （英语） Zbl 1511.68182号 正式Asp。计算。 33，第2期，185-205（2021）.MSC公司：68问题85 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}，正式Asp。计算。33，编号2，185--205（2021；Zbl 1511.68182） 全文： 内政部
尼尔·皮特曼；阿米尔·普努利 时序逻辑和公平离散系统。 （英语） Zbl 1392.68263号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。27-73 (2018).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛N.Piterman｝和\textit｛A.Pnueli｝，在：模型检查手册中。查姆：斯普林格。27-73（2018；Zbl 1392.68263） 全文： 内政部
Hoang，泰国儿子；史蒂夫·施耐德；海伦·特里哈恩；威廉姆斯，大卫·M。 在Event-B细化中使用线性时序逻辑的基础。 （英语） 兹比尔1348.68039 正式Asp。计算。 28，第6号，909-935（2016）.MSC公司：68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人，正式Asp。计算。28，第6号，909--935（2016；Zbl 1348.68039） 全文： 内政部
Bae，Kyungmin先生；何塞·梅塞格尔 一种用于重写的线性时间逻辑的基于重写的模型检查器。 （英语） Zbl 1291.68244号 Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（2008年规则），奥地利哈根堡哈根堡城堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，19-36（2012）。MSC公司：60年第68季度 03B44号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。290、19-36（2012年；Zbl 1291.68244） 全文： 内政部
罗伯特·科尔文；布里杰什·多戈尔 一种证明锁自由度的通用技术。 （英语） Zbl 1157.68024号 科学。计算。程序。 74，第3期，143-165（2009）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Colvin}和\textit{B.Dongol}，科学。计算。程序。74，第3号，143--165（2009；Zbl 1157.68024） 全文： 内政部
安娜贝拉·麦克维尔；摩根，卡罗尔 定量时序逻辑qTL中的最新事件和抽象概率。 （英语） 兹比尔1019.03022 西奥。计算。科学。 293，编号3，507-534（2003）.MSC公司：03B70号 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}和\textit{C.Morgan}，Theor。计算。科学。293，第3号，507--534（2003；Zbl 1019.03022） 全文： 内政部
查兰吉特·朱特拉。；Josyula R.拉奥。 为公平并行程序设计证明规则的方法。 （英语） Zbl 0889.68101号 正式Asp。计算。 9，第4期，359-378（1997）.MSC公司：第68季度55 03B45 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Jutla}和\textit{J.R.Rao}，正式Asp。计算。9，编号4359-378（1997年；Zbl 0889.68101） 全文： 内政部
F.A.斯托姆。；德罗弗，W.-P。 分布式算法的顺序推理原理。 （英语） Zbl 0829.68066号 正式Asp。计算。 6，第6期，716-737（1994）.MSC公司：68宽10 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Stomp}和\textit{W.P.deRoever}，正式Asp。计算。6，编号6，716--737（1994；Zbl 0829.68066） 全文： 内政部
K.Mani Chandy 并发程序的属性。 （英语） Zbl 0828.68076号 正式Asp。计算。 6，第6期，607-619（1994）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Chandy}，正式Asp。计算。6，第6号，607--619（1994；Zbl 0828.68076） 全文： 内政部
菲克斯，利莫；弗雷德·施耐德。 通过开发环境来推理程序。 （英语） Zbl 1418.68054号 Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。第21届国际学术讨论会，ICALP’94，以色列耶路撒冷，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。820, 328-339 (1994).MSC公司：68号30 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛L.Fix｝和\textit｛F.B.Schneider｝，Lect。票据计算。科学。820328-339（1994年；Zbl 1418.68054） 全文： 内政部 链接
肯·卡尔弗特 消除引线属性的分离。 （英语） Zbl 0802.68081号 信息处理。莱特。 49，第4期，189-194（1994）. 审核人：K.Calvert（亚特兰大） MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Calvert}，Inf.过程。莱特。49，第4号，189--194（1994；Zbl 0802.68081） 全文： 内政部
卡马尔·洛达亚；拉马努贾姆，R。；蒂亚加拉扬，P.S。 基于偏序的时序逻辑的可判定性。 （英语） Zbl 1422.03027号 Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。700, 582-592 (1993).MSC公司：03B44号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya}等人，Lect。票据计算。科学。700、582--592（1993年；Zbl 1422.03027） 全文： 内政部
David M.Russinoff。 基于Boyer-Moore证明程序的并发程序验证系统。 （英语） Zbl 0758.68047号 正式Asp。计算。 4，编号6A，597-611（1992）.MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Russinoff}，正式Asp。计算。4，编号6A，597--611（1992；Zbl 0758.68047） 全文： 内政部