亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 (英语) 兹比尔1284.03216 形式方法系统。设计。 42,第1期,46-66(2013).MSC公司:05年3月 第68季度第60季度 68T20型 第68季度第45季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。42,第1号,46--66(2013;Zbl 1284.03216) 全文: 内政部
贝拉德,贝特里奇;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) Zbl 1247.68124号 形式方法系统。设计。 40,第1期,41-87(2012).MSC公司:第68季度第45季度 第68季度第60季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。40,编号1,41-87(2012年;兹bl 1247.68124) 全文: 内政部 arXiv公司
安东尼奥蒂,M。;C.广场。;Policriti,A。;M.西蒙。;米什拉,B。 通过相互模拟和崩溃来控制生化模型的复杂性:理论与实践。 (英语) Zbl 1070.68059号 西奥。计算。科学。 325,第1期,第45-67页(2004年).MSC公司:第68季度第45季度 68问题85 92C40型 37N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Antoniotti}等人,Theor。计算。科学。325,编号1,45-67(2004;Zbl 1070.68059) 全文: 内政部