拉杰夫·阿鲁尔;Thao Dang先生;弗兰乔·伊万契奇 混合系统的反例引导谓词抽象。 (英语) Zbl 1088.68096号 西奥。计算。科学。 354,第2期,250-271(2006).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。354,No.2,250--271(2006;Zbl 1088.68096) 全文: 内政部
约翰·佩尼克斯;威廉·维瑟;SeungJoon公园;科琳娜·帕萨雷努;埃里克·恩格斯特罗姆;亚伦·拉尔森;尼古拉斯·威宁格 验证DEOS调度内核中的时间分区。 (英语) Zbl 1083.68575号 形式方法系统。设计。 26,第2期,103-135(2005).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Penix}等人,《形式方法系统》。设计。26,第2号,103--135(2005;Zbl 1083.68575) 全文: 内政部