JiříBarnat;伊万娜·乔纳;Tůmová,贾纳 验证退化系统。 (英语) Zbl 1399.68070号 计算。通知。 31,第3期,507-530(2012).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,计算。通知。31,第3号,507--530(2012;Zbl 1399.68070)
尼古拉斯·佩塔利迪斯 使用时间自动机验证现场总线调度协议。 (英语) Zbl 1399.68028号 计算。通知。 28,第5期,655-672(2009).MSC公司:68平方米 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Petalidis},计算。通知。28,第5号,655--672(2009;Zbl 1399.68028)