帕特里夏·鲍耶 可更新时间自动机的正向分析。 (英语) Zbl 1073.68041号 形式方法系统。设计。 24,第3期,281-320(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer},形式方法系统。设计。24,第3号,281--320(2004;Zbl 1073.68041) 全文: 内政部
拉杰夫·阿鲁尔;桑帕斯·坎南;萨尔瓦多拉托雷 混合自动机中的多面体流。 (英语) Zbl 1073.68038号 形式方法系统。设计。 24,第3期,261-280(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。24,第3号,261--280(2004;Zbl 1073.68038) 全文: 内政部