M.R.汉森。(编辑) 特刊:第21届北欧规划理论研讨会(NWPT 2009)。2009年10月14日至16日,丹麦林格比,根据研讨会上的陈述选择论文。 (英文) Zbl 1246.68038号 J.日志。阿尔盖布。程序。81,第4期,355-557(2012)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
布雷克林,阿斯克;迈克尔·汉森。;简·马德森 多处理器系统的模型和形式验证。 (英文) Zbl 1151.68339号 J.日志。阿尔盖布。程序。 77,编号1-2,1-19(2008).MSC公司:68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Brekling}等人,J.Log。阿尔盖布。程序。77,编号1--2,1--19(2008;Zbl 1151.68339) 全文: 内政部