懒惰,克里斯托弗;拉斐尔·维斯涅夫斯基 用时间自动机验证连续动力系统。 (英语) Zbl 1233.68158号 形式方法系统。设计。 39,第1期,47-82(2011).MSC公司:60年第68季度 37立方厘米 65年第68季度 37B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Sloth}和\textit{R.Wisniewski},表格方法系统。设计。39,第1号,47-82(2011年;兹bl 1233.68158) 全文: DOI程序 链接
保罗·C·阿蒂。 关于分布式系统活性性质的精化。 (英语) Zbl 1233.68160号 形式方法系统。设计。 39,第1期,1-46页(2011年).MSC公司:68问题85 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Attie},形式方法系统。设计。39,第1号,1--46(2011;Zbl 1233.68160) 全文: DOI程序 arXiv公司
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 使用模型检查和(k)-归纳法自动分析DMA竞争。 (英语) Zbl 1233.68124号 形式方法系统。设计。 39,第1期,第83-113页(2011年).MSC公司:68号30 60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,Form.Methods Syst。设计。39,第1号,第83-113条(2011;Zbl 1233.68124) 全文: DOI程序