马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 定时正则语言的逻辑特征。 （英语） Zbl 1355.68150号 西奥。计算。科学。 658，A部分，46-59（2017）.MSC公司：65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人，Theor。计算。科学。658，A部分，46-59（2017；Zbl 1355.68150） 全文： 内政部
罗西，马蒂奥;恐龙Mandrioli;安杰洛·莫岑蒂;卢卡·费鲁奇 基于微观和宏观步骤的实时系统的时序逻辑：基础和应用。 （英语） Zbl 1348.68149号 西奥。计算。科学。 643, 38-64 (2016).MSC公司：60年第68季度 03B44号 03H10年上半年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Rossi}等人，Theor。计算。科学。643、38--64（2016年；Zbl 1348.68149） 全文： 内政部 链接
米盖尔·费尔德;安吉洛·加甘蒂尼;安杰洛·莫尔岑蒂 时间Petri网的实现和精化理论。 （英语） Zbl 0902.68137号 西奥。计算。科学。 202，编号1-2，127-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） 全文： 内政部
安吉洛·蒙塔纳里;马尔滕，德里伊克 两种排序的度量时态逻辑。 （英语） Zbl 0901.03019号 西奥。计算。科学。 183，第2期，187-214（1997）.MSC公司：03B45号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{M.de Rijke}，Theor。计算。科学。183，编号2，187--214（1997；Zbl 0901.03019） 全文： 内政部
Seow，Kiam Tian先生;德瓦纳坦，R。 安全规范类离散事件控制的时序逻辑方法。 （英语） Zbl 0866.93005号 系统。控制信函。 28，第4期，205-217（1996）.MSC公司：93甲13 93C99号 93立方 PDF格式BibTeX公司 XML格式引用 \textit{K.T.Seow}和\textit{R.Devanathan}，系统。控制信函。28，第4205-217号（1996年；Zbl 0866.93005） 全文： 内政部
亚辛·拉赫内切;乔泽夫·胡曼 带持续时间的度量时态逻辑。 （英语） Zbl 0874.68270号 西奥。计算。科学。 138，第1号，169-199（1995）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Lakhneche｝和\textit｛J.Hooman｝，Theor。计算。科学。138，编号1169-199（1995年；Zbl 0874.68270） 全文： 内政部
藤井裕久 一种有效的约束层次逻辑规划算法。 （英语） Zbl 1495.68031号 Jouannaud，Jean-Pierre（编辑），计算逻辑中的约束。1994年9月7日至9日在德国慕尼黑举行的1994年CCL第一届国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。845, 170-182 (1994).MSC公司：68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Fujio}，莱克特。注释计算。科学。845170-182（1994年；Zbl 1495.68031） 全文： 内政部
埃尔文·佩什;安德烈亚斯·德雷克斯;安东·科伦 CHARME中基于模型的推理。（CHARME中的Modellbasierte Inferenz。） （德语。英文摘要） Zbl 0938.68821号 OR演讲 193-202年第3号第16页（1994年）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Pesch}等人，OR Spektrum 16，No.3，193--202（1994；Zbl 0938.68821） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。 越早越好。 （英语） 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） 全文： 内政部