格纳滕科，A.R。；扎哈罗夫，V.A。 关于\（\mathrm{CTL}^\ast\）的某些扩展的模型检查问题。 （俄语。英文摘要） Zbl 1513.68025号 模型。分析。Inf.姐妹。 27，编号428-441（2020）.MSC公司：60年第68季度 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Gnatenko}和\textit{V.A.Zakharov}，模型。分析。Inf.姐妹。27，第4号，428--441（2020；Zbl 1513.68025） 全文： 内政部 MNR公司
吕迪格·埃勒斯；伯恩德·芬克贝纳 对称合成。 （英语） Zbl 1491.68109号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第26条，第13页（2018年）。MSC公司：60年第68季度 2007年7月68日 64岁以下 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。93，第26条，第13页（2018；Zbl 1491.68109） 全文： 内政部 arXiv公司
埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；赫尔穆特·维思 模型检查简介。 （英语） Zbl 1392.68242号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1-26 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，in：模型检查手册。查姆：斯普林格。1-26（2018；Zbl 1392.68242） 全文： 内政部
罗曼·布伦吉尔；Jean-François拉斯金；奥坎·桑库尔 假设允许合成。 （英语） Zbl 1362.68202号 学报信息。 54，第1期，41-83（2017）.MSC公司：68问题85 68周05 68瓦40 91A43型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Brengier｝等人，Acta Inf.54，No.1，41-83（2017；兹bl 1362.68202） 全文： 内政部 arXiv公司
斯文·舍韦 ATL\（^*\）可满足性是2EXPTIME-complete。 （英语） Zbl 1155.68447号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126373-85（2008）。MSC公司：60年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}，莱克特。票据计算。科学。5126373-385（2008年；Zbl 1155.68447） 全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。；艾默生·E·艾伦 使用分支时间时序逻辑设计和合成同步骨架。 （英语） Zbl 1142.68431号 Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学讲义5000196-215（2008）。MSC公司：60年第68季度 03B44号 03B70号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}和\textit{E.A.Emerson}，莱克特。票据计算。科学。5000、196-215（2008；Zbl 1142.68431） 全文： 内政部
斯文·舍韦；伯恩德·芬克贝纳 交替时间逻辑的分布式综合。 （英语） Zbl 1141.68516号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762268-283（2007）。MSC公司：68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。票据计算。科学。4762、268--283（2007年；Zbl 1141.68516） 全文： 内政部
奥尔纳·库普弗曼；Shmuel萨夫拉；莫舍·瓦尔迪。 关联词和树自动机。 （英语） Zbl 1097.03034号 Ann.纯粹应用。逻辑 138，编号1-3，126-146（2006）. 审核人：Aleksej Dmitrievich Korshunov（新西伯利亚） MSC公司：05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人，《纯粹应用》。逻辑138，No.1--3，126--146（2006；Zbl 1097.03034） 全文： 内政部
莫斯科夫斯基，B。 有限时间命题区间时序逻辑的层次完备性证明。 （英语） Zbl 1181.03015号 J.应用。非类别。日志。 14，编号1-2，55-104（2004）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski}，J.应用。非类别。日志。14，编号1--2，55-104（2004；Zbl 1181.03015） 全文： 内政部
肖本斯，P.-Y。；J.-F.拉斯金。；亨廷格，T.A。 实时逻辑公理。 （英语） Zbl 0994.03009号 西奥。计算。科学。 274，编号1-2，151-182（2002）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.Schobbens}等人，Theor。计算。科学。274，编号1-2-151-182（2002年；兹bl 0994.03009） 全文： 内政部
赵，赵坑；戴、军；陈文丹 时序逻辑中的自动定理证明：（T）-分辨率。 （英语） Zbl 0804.68131号 J.计算。科学。Technol公司。 第9期，第1期，53-62页（1994年）.MSC公司：68吨15 03B35型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhao}等人，J.Compute。科学。Technol公司。9，编号1，53--62（1994；Zbl 0804.68131） 全文： 内政部
J.R.伯奇。；E.M.克拉克。；麦克米兰，K.L。；迪尔·D·L。；黄，L.J。 符号模型检查：（10^{20}）状态及以上。 （英语） Zbl 0753.68066号 Inf.计算。 98，第2期，142-170（1992）.MSC公司：60年第68季度 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Burch}等人，《信息计算》。98，第2号，142--170（1992；Zbl 0753.68066） 全文： 内政部
Larsen，Kim G。 Hennessy-Milner递归逻辑中可满足性的证明系统。 （英语） Zbl 0698.68014号 西奥。计算。科学。 72，编号2-3，265-288（1990）.MSC公司：60年第68季度 03B70号 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}，Theor。计算。科学。72，编号2--3，265--288（1990；Zbl 0698.68014） 全文： 内政部
蔡彪东；蔡锡耀；陈家正 从时空逻辑规范合成通信过程骨架。 （英语） 兹伯利0666.03024 J.计算。科学。Technol公司。 4，第2期，133-146（1989）.MSC公司：03B70号 第68页第25页 03B45 PDF格式BibTeX公司 XML格式引用 \textit{B.Cai}等人，J.Compute。科学。Technol公司。4，编号2，133--146（1989；Zbl 0666.03024） 全文： 内政部
阿夫拉蒂、福托；克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。；乔治·帕帕乔治奥 通信协议的综合。 （英语） Zbl 0636.68052号 算法 3，第3号，451-472（1988）.MSC公司：65年第68季度 第68页第25页 94C15号机组 68N99型 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Afrati}等人，Algorithmica 3，No.3，451--472（1988；Zbl 0636.68052） 全文： 内政部
西斯特拉·A·普拉萨德；莫舍·瓦尔迪。；皮埃尔·沃尔珀 Büchi自动机的互补问题及其在时序逻辑中的应用。 （英语） Zbl 0613.03015号 西奥。计算。科学。 49, 217-237 (1987).MSC公司：05年3月 03B70号 03B25号 68问题65 2015年3月1日 03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人，Theor。计算。科学。49、217--237（1987；Zbl 0613.03015） 全文： 内政部
David A.Plaisted。 命题时态逻辑和其他专业理论组合的决策过程。 （英语） Zbl 0635.03026号 J.汽车。推理 2, 171-190 (1986).MSC公司：03B70号 03B25号 68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \文本｛D.A.Plaisted｝，J.Autom。推理271-190（1986年；兹bl 0635.03026） 全文： 内政部
阿基拉·福佐卡；西基、广岛；高桥贵子 时序逻辑中VLSI电路的描述和推理。 （英语） Zbl 0592.68033号 新一代计算。 2, 79-90 (1984).MSC公司：68问题65 94C15号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Fusaoka｝等人，《新一代计算机》。279--90（1984年；Zbl 0592.68033） 全文： 内政部