巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯,玛格丽塔 参数度量时间间隔逻辑。 (英语) Zbl 1317.68112号 西奥。计算。科学。 564131-148(2015年).MSC公司:60年第68季度 03B25号 03B44号 05年3月 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Di Giampaolo}等人,Theor。计算。科学。564131-148(2015;Zbl 1317.68112) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔 定时树上的有限自动机。 (英语) Zbl 1032.68095号 西奥。计算。科学。 293,第3期,479-505(2003). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}和\textit{M.Napoli},Theor。计算。科学。293,第3号,479--505(2003;Zbl 1032.68095) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔 带有时态逻辑应用程序的时间树自动机。 (英语) Zbl 1033.68065号 学报信息。 38,第2期,第89-116页(2001年).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}和\textit{M.Napoli},《学报》第38期,第2期,第89-116页(2001年;Zbl 1033.68065) 全文: 内政部