克劳迪奥·蒙吉;马尔塞洛·贝尔萨尼。;罗西,马蒂奥;Pierluigi San彼得罗 基于时间自动机的模型检验MITL公式。一种基于逻辑的方法。 (英语) 兹比尔1446.68095 ACM事务处理。计算。日志。 21,第3号,第26条,第44页(2020年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,ACM Trans。计算。日志。21,第3号,第26条,第44页(2020年;Zbl 1446.68095) 全文: 内政部
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 关于时间形式中时钟的初始化。 (英语) Zbl 1433.03048号 西奥。计算。科学。 813, 175-198 (2020).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,Theor。计算。科学。813175-198(2020年;兹比尔1433.03048) 全文: 内政部 链接
马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 定时正则语言的逻辑特征。 (英语) 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) 全文: 内政部
圣彼得罗,皮耶路易吉;当、哲 多队列离散时间自动机的自动验证。 (英语) Zbl 1276.68097号 Warnow,Tandy(编辑)等人,《计算与组合学》。第九届国际年会,COCOON 2003,Big Sky,MT,USA,2003年7月25-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40534-8/pbk)。计算机科学课堂讲稿2697159-171(2003)。MSC公司:65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.San Pietro}和\textit{Z.Dang},Lect。注释计算。科学。2697159--171(2003年;Zbl 1276.68097) 全文: 内政部
奥斯卡·H·伊巴拉。;当、哲;圣彼得罗,皮耶路易吉 松散同步队列连接离散时间自动机的验证。 (英语) 兹比尔1044.68096 西奥。计算。科学。 290,编号3,1713-1735(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,Theor。计算。科学。290,第3号,1713-1735(2003;Zbl 1044.68096) 全文: 内政部
当、哲;圣彼得罗,皮耶路易吉;理查德·凯默勒(Richard A.Kemmer)。 离散时间自动机的Presburger活性验证。 (英语) Zbl 1040.68050号 西奥。计算。科学。 299,编号1-3,413-438(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Theor。计算。科学。299,编号1--3,413--438(2003;Zbl 1040.68050) 全文: 内政部