西尔维亚·克拉法;弗朗西斯科·兰扎托 基于抽象解释的概率转移系统的互模拟和仿真算法。 (英语) Zbl 1290.68093号 形式方法系统。设计。 40,第3期,356-376(2012).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}和\textit{F.Ranzato},表格方法系统。设计。40,第3号,356--376(2012;Zbl 1290.68093) 全文: 内政部
桑迪·巴拉格;托马斯·查泰恩;斯特凡·哈尔 从时间Petri网到时间自动机网络的保并发转换。 (英语) Zbl 1252.68200号 形式方法系统。设计。 40,第3号,330-355(2012). 审核人:Jörg Desel(哈根) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}等人,《形式方法系统》。设计。40,第3号,330-355(2012;Zbl 1252.68200) 全文: 内政部 链接
迈克尔·门德勒;Thomas R.Shiple。;杰拉德·贝里 构造布尔电路和定时三值模拟的精确性。 (英语) Zbl 1303.94148号 形式方法系统。设计。 40,第3期,283-329(2012).MSC公司:94立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler}等人,《形式方法系统》。设计。40,第3号,283--329(2012;Zbl 1303.94148) 全文: 内政部