拉诺特、拉格罗;安德烈亚·马焦洛·谢蒂尼;安吉洛·特洛伊娜 概率时间自动机的弱互模拟。 (英语) Zbl 1208.68160号 西奥。计算。科学。 411,第50号,4291-4322(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Theor。计算。科学。411,第50号,4291--4322(2010;Zbl 1208.68160) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马焦洛·谢蒂尼;安吉洛·特洛伊娜 具有无界数据结构的时间自动机的可达性结果。 (英语) Zbl 1214.68199号 学报信息。 47,编号5-6,279-311(2010).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Acta Inf.47,No.5-67279-31(2010;兹bl 1214.68199) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马焦洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 在定时框架中设计和验证长时间运行的事务。 (英语) Zbl 1170.68024号 科学。计算。程序。 73,编号2-3,76-94(2008).MSC公司:65年第68季度 第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,科学。计算。程序。73,编号2--3,76-94(2008;Zbl 1170.68024) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马焦洛·谢蒂尼;西蒙·蒂尼 \(varepsilon)-并发时间自动机中的转换。 (英语) Zbl 1178.68321号 信息处理。莱特。 89,第1期,1-7期(2004年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,《Inf.过程》。莱特。89,编号1,1--7(2004;Zbl 1178.68321) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马焦洛·谢蒂尼;西蒙·蒂尼;阿德里亚诺·佩隆 时间合作自动机的转换。 (英语) Zbl 1004.68088号 芬丹。通知。 47,第3-4号,271-282(2001).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Fundam。通知。47,编号:3-4271-282(2001年;Zbl 1004.68088)
拉诺特、拉格罗;安德烈亚·马焦洛·谢蒂尼;阿德里亚诺·佩隆 定时协作自动机。 (英语) Zbl 0965.68046号 芬丹。通知。 43,编号1-4153-173(2000).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Fundam。通知。43,编号1--4,153-173(2000;Zbl 0965.68046)