尼佐夫，M.V。;E.V.库兹明。 控制程序开发和验证的LTL规范。 （俄语。英文摘要） Zbl 07796825号 模型。分析。Inf.姐妹。 30，第4号，308-339（2023）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Neyzov}和\textit{E.V.Kuzmin}，模型。分析。内部Sist。30，编号4，308--339（2023；Zbl 07796825） 全文： 内政部 MNR公司
米哈伊尔·里巴科夫;德米特里·什卡托夫 带有两个变量和一个单体谓词字母的QLTL和QCTL的不可判定性。 （英语） Zbl 07642566号 日志。伊斯斯莱德。 27，第2期，93-120（2021）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov}，Log。伊斯斯莱德。27，编号2，93-120（2021；Zbl 07642566） 全文： 内政部
A.里斯科。;罗德里格斯-霍塔拉，J。 Spark Streaming的基于属性的测试。 （英语） Zbl 1472.68041号 理论与实践。日志。程序。 19，第4号，574-602（2019）.MSC公司：68号30 03B44号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}和\textit{J.Rodríguez-Hortalá}，理论与实践。日志。程序。19，第4号，574--602（2019；Zbl 1472.68041） 全文： 内政部 arXiv公司
奥尔纳·库普弗曼;莎莱·申瓦尔德 有容量的自动机和系统。 （英语） Zbl 1435.68175号 Inf.计算。 269，文章ID 104451，15 p.（2019）.MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{S.Sheinvald}，Inf.Comput。269，文章ID 104451，15 p.（2019；Zbl 1435.68175） 全文： 内政部
马苏德·易卜拉希米;古拉姆雷扎·索图德;阿里·莫瓦加尔 模糊程序图上模糊CTL的符号检查。 （英语） Zbl 1410.68224号 学报信息。 56，第1期，1-33页（2019年）.MSC公司：60年第68季度 03B44号 03B52号 05C72号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ebrahimi}等人，《信息学报》56，第1期，1-33页（2019年；Zbl 1410.68224） 全文： 内政部
Čermák，佩特尔;阿莱西奥·洛穆西奥;法比奥·莫加维罗;穆拉诺，阿尼洛 多智能体系统的实际验证Slk公司规范。 （英语） Zbl 1395.68255号 Inf.计算。 261，第3部分，588-614（2018）.MSC公司：第68页第27页 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.采尔玛}等人，《Inf.Compute》。261，第3部分，588-614（2018年；兹bl 1395.68255） 全文： 内政部
帕纳吉奥蒂斯·库瓦罗斯;阿莱西奥·洛穆西奥 多智能体系统的参数化验证。 （英语） Zbl 1351.68294号 Artif公司。智力。 234, 152-189 (2016).MSC公司：68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.Kouvaros｝和\textit｛A.Lomuscio｝，人工制品。智力。234152--189（2016；Zbl 1351.68294） 全文： 内政部
奥尔纳·库普弗曼;乔纳森·莫塞夫 主要语言。 （英语） Zbl 1312.68121号 Inf.计算。 240, 90-107 (2015).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{J.Mosheiff}，Inf.Comput。240、90-107（2015；Zbl 1312.68121） 全文： 内政部
艾登·A·H·。;E·加斯帕里斯。;J·尼克尔森。;R.卡兹曼。 使用代码图表对面向对象程序进行建模和可视化。 （英语） Zbl 1291.68141号 表格方法系统。设计。 43，第1期，第1-28页（2013年）.MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Eden}等人，《形式方法系统》。设计。43，编号1，1--28（2013；Zbl 1291.68141） 全文： 内政部
费内科斯（Georgios E.Fainekos）。;乔治·帕帕斯。 连续时间信号时序逻辑规范的稳健性。 （英语） Zbl 1186.68287号 西奥。计算。科学。 410，第42号，4262-4291（2009）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Fainekos}和\textit{G.J.Pappas}，Theor。计算。科学。410，编号42，4262--4291（2009；Zbl 1186.68287） 全文： 内政部
凯斯·克莱;劳雷·佩特鲁奇;米歇尔·雷尼尔斯 用于检查Petri网的LTL（setminus）X属性的增量模块化技术。 （英语） Zbl 1215.68155号 Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574280-295（2007）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Klai}等人，Lect。注释计算。科学。4574280-295（2007年；Zbl 1215.68155） 全文： 内政部
马克·雷诺兹 PCTL*的公理化。 （英语） Zbl 1099.03013号 Inf.计算。 201，第1期，72-119（2005）. 审核人：阿尔弗雷多·布里耶扎·穆尼兹（马拉加） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds}，《信息计算》。201，第1号，72--119（2005；Zbl 1099.03013） 全文： 内政部
伊恩·霍德金森;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 一阶时间逻辑的可判定片段。 （英语） Zbl 0999.03015号 Ann.纯粹应用。逻辑 106，编号1-3，85-134（2000）. 审核人：马丁·霍夫曼（慕尼黑） MSC公司：03B44号 03B25号 第68页，共15页 60年第68季度 68立方英尺 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}等人，Ann.Pure Appl。逻辑106，编号1--3，85-134（2000；Zbl 0999.03015） 全文： 内政部
新泽西州詹宁斯。 基于代理的软件工程。 （英语） Zbl 0938.68864号 Artif公司。智力。 117，第2期，277-296（2000）.MSC公司：68T99型 PDF格式BibTeX公司 XML格式引用 \textit{N.R.Jennings}，阿蒂夫。智力。117，第2号，277--296（2000；Zbl 0938.68864） 全文： 内政部
兰斯·克莱维兰;泽恩·达亚尔;斯科特·斯莫尔卡。;袁，Shoji 测试概率过程的预订单。 （英语） Zbl 1045.68564号 Inf.计算。 154，第2期，第93-148页（1999年）.MSC公司：2010年第68季度 60J10型 94A05型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Cleaveland｝等人，信息计算。154，第2号，93--148（1999；Zbl 1045.68564） 全文： 内政部
米盖尔·费尔德;安吉洛·加甘蒂尼;安杰洛·莫尔岑蒂 时间Petri网的实现和精化理论。 （英语） Zbl 0902.68137号 西奥。计算。科学。 202，编号1-2127-161（1998）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Felder}等人，Theor。计算。科学。202，编号1--2，127-161（1998；Zbl 0902.68137） 全文： 内政部
克里斯托弗·布尔佐斯卡 度量时态逻辑编程。 （英语） Zbl 0902.68029号 西奥。计算。科学。 202，编号1-2，55-125（1998）.MSC公司：68N17号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \文本{C.Brzoska}，Theor。计算。科学。202，编号1--2，55-125（1998；Zbl 0902.68029） 全文： 内政部
Chebotarev，Anatoli N。;莫罗霍夫茨，玛丽娜·K·。 基于分辨率的交互自动机兼容性分析方法。 （英语） Zbl 0902.68124号 西奥。计算。科学。 194，编号1-2183-205（1998）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}和\textit{M.K.Morokhovets}，Theor。计算。科学。194，编号1--2，183-205（1998；Zbl 0902.68124） 全文： 内政部
北卡罗来纳州比多特。;德阿莫，S。 实现动态代数依赖的第一步。 （英语） Zbl 0893.68050号 西奥。计算。科学。 190，第2期，第115-149页（1998年）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit｛N.Bidoit｝和\textit｛S.De Amo｝，Theor。计算。科学。190，编号2，115--149（1998；Zbl 0893.68050） 全文： 内政部
斯科特·斯莫尔卡。;伯恩哈德·斯特芬 优先级为极值概率。 （英语） Zbl 0860.68027号 正式Asp。计算。 8，第5期，585-606（1996）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Smolka}和\textit{B.Steffen}，正式Asp。计算。8，第5号，585--606（1996；Zbl 0860.68027） 全文： 内政部
Loiseaux，C。;格拉芙，S。;J.西法基斯。;A.Bouajjani。;Bensalem，S。 用于验证并发系统的属性保持抽象。 （英语） Zbl 0829.68053号 表格方法系统。设计。 6，第1期，11-44（1995）.MSC公司：2010年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Loiseaux}等人，《形式方法系统》。设计。6，编号1，11-44（1995；Zbl 0829.68053） 全文： 内政部
拉杰夫·阿鲁尔;大卫·L·迪尔。 时间自动机理论。 （英语） Zbl 0803.68071号 西奥。计算。科学。 126，第2期，183-235（1994）.MSC公司：65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.L.Dill}，Theor。计算。科学。126，第2号，183--235（1994；Zbl 0803.68071） 全文： 内政部
阿拉皮斯，君士坦丁 一种基于时序逻辑的对象行为演化描述方法。 （英语） Zbl 1004.68548号 安。数学。Artif公司。智力。 7，编号1-4，1-40（1993）.MSC公司：第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{C.Arapis}，安.数学。Artif公司。智力。7，编号1--4，1--40（1993；Zbl 1004.68548） 全文： 内政部
Shmuel Katz;多龙·贝利德 使用代表性交错序列验证分布式程序。 （英语） 兹比尔0773.68053 分布计算。 6，第2期，107-120（1992）.MSC公司：60年第68季度 68宽15 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled}，分布计算。6，编号2，107-120（1992；Zbl 0773.68053） 全文： 内政部
托马斯·亨辛格。 越早越好。 （英语） Zbl 0753.68041号 信息处理。莱特。 43，第3期，135-141（1992）.MSC公司：2010年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}，Inf.过程。莱特。43，编号3，135--141（1992；Zbl 0753.68041） 全文： 内政部
雷诺·库基·苏尼奥 联合行动的操作规范：可序列化数据库。 （英语） Zbl 0748.68013号 分布计算。 6，第1期，第19-37页（1992年）.MSC公司：第68页，共15页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛R.Kurki Suonio｝，分布式计算。6，编号1，19--37（1992；Zbl 0748.68013） 全文： 内政部
Shmuel Katz;多龙·贝利德 使用折叠定义条件独立性。 （英语） Zbl 0769.68082号 西奥。计算。科学。 101，第2期，337-359（1992）.MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled}，Theor。计算。科学。101，第2号，337--359（1992；Zbl 0769.68082） 全文： 内政部
斯蒂芬·默兹 线性时间一阶时序逻辑的可判定性和不完全性结果。 （英语） Zbl 0790.03019号 J.应用。非类别。日志。 第2期，第139-156页（1992年）.MSC公司：03B45 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，J.Appl（J.梅尔茨）。非类别。日志。2，编号2，139--156（1992；Zbl 0790.03019） 全文： 内政部
曼娜，佐哈尔;阿米尔·普努利 完成时间画面。 （英语） Zbl 0795.68133号 西奥。计算。科学。 83，第1期，97-130（1991）.MSC公司：60年第68季度 2010年第68季度 03B70号 03B45 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Manna｝和\textit｛A.Pnueli｝，Theor。计算。科学。83，第1号，97--130（1991；Zbl 0795.68133） 全文： 内政部
Vangalur S.阿拉加。;吉萨·拉马纳森 反应系统时间相关行为的功能规范和正确性证明。 （英语） Zbl 0738.68055号 形式方面计算。 3，第2期，253-283（1991年）.MSC公司：60年第68季度 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Alagar}和\textit{G.Ramanathan}，正式Asp。计算。3，编号2，253--283（1991；Zbl 0738.68055） 全文： 内政部
何旭东;约翰·A·N·李。 在并发系统的规范和验证中，将谓词转换网与一阶时序逻辑集成。 （英语） Zbl 0703.68078号 形式方面计算。 2，第3期，226-246（1990）.MSC公司：68问题85 2010年第68季度 60年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{X.He}和\textit{J.A.N.Lee}，正式Asp。计算。2，编号3，226--246（1990；Zbl 0703.68078） 全文： 内政部
弗兰克·德德里奇;韦伯、雷纳 从方法学的角度来看，安全性和活性。 （英语） Zbl 0703.68019号 信息处理。莱特。 36，第1号，25-30（1990）.MSC公司：68M10个 68米15 PDF格式BibTeX公司 XML格式引用 \textit{F.Dederichs}和\textit{R.Weber}，Inf.过程。莱特。36，编号1，25--30（1990；Zbl 0703.68019） 全文： 内政部
弗雷德·克鲁格 关于时态逻辑中算术的可解释性。 （英语） Zbl 0703.03004号 西奥。计算。科学。 73，No.1，47-60（1990）. 审核人：H.西村 MSC公司：03B45 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{F.Kröger}，Theor。计算。科学。73，编号1，47--60（1990；Zbl 0703.03004） 全文： 内政部
Marta Z.Kwiatkowska。 事件公平性和不干涉并发性。 （英语） Zbl 0696.68092号 形式方面计算。 1，第3期，213-228（1989）.MSC公司：68问题55 68问题85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Z.Kwiatkowska}，正式Asp。计算。1，第3号，213--228（1989；Zbl 0696.68092） 全文： 内政部
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 数据库动态的规范和验证。 （英语） Zbl 0627.68078号 学报信息。 25，第6号，625-661（1988）.MSC公司：第68页第20页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{A.Sernadas}，《学报》第25期，第6期，第625--661页（1988；Zbl 0627.68078） 全文： 内政部
尼西姆·弗朗西兹;Shmuel Katz 公平性和控制谓词公理。 （英语） 兹伯利0647.68014 国际J并行程序。 16，第4期，263-278（1987）.MSC公司：60年第68季度 68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}和\textit{S.Katz}，国际J.并行程序。16，第4号，263--278（1987；Zbl 0647.68014） 全文： 内政部
约翰·雷夫;西斯特拉，A.P。 一种具有时间和空间模式的多进程网络逻辑。 （英语） Zbl 0565.68031号 J.计算。系统。科学。 30, 41-53 (1985). 审核人：S.Miura公司 MSC公司：68问题65 03B45 PDF格式BibTeX公司 XML格式引用 \textit｛J.Reif｝和\textit｛A.P.Sistla｝，J.Comput。系统。科学。30、41-53（1985年；Zbl 0565.68031） 全文： 内政部
Feldman，Yishai A。;大卫·哈雷 概率动态逻辑。 （英语） Zbl 0537.68036号 J.计算。系统。科学。 28, 193-215 (1984). 审核人：H.西村 MSC公司：68问题65 03B48号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Feldman}和\textit{D.Harel}，J.Comput。系统。科学。28193-215（1984年；Zbl 0537.68036） 全文： 内政部