马丁·范策尔;蒂诺·特伊格;安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 (英语) Zbl 1205.68252号 J.日志。阿尔盖布。程序。 79,第7期,436-466(2010).MSC公司:87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,J.Log。阿尔盖布。程序。79,编号7,436--466(2010;Zbl 1205.68252) 全文: 内政部
佛罗伦萨伊帕特;玛丽安·盖奥吉;拉卢卡左翼 使用模型检查从P系统生成测试。 (英语) Zbl 1208.68146号 J.日志。阿尔盖布。程序。 79,第6号,350-362(2010).MSC公司:60年第68季度 2010年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,J.Log。阿尔盖布。程序。79,第6号,350-362(2010;Zbl 1208.68146) 全文: 内政部 链接
戈登·弗雷泽;安吉洛·加甘蒂尼;弗兰茨·沃塔瓦 基于规范的测试中测试目标的顺序。 (英语) Zbl 1175.68112号 J.日志。阿尔盖布。程序。 78,第6期,472-490(2009).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Fraser}等人,J.Log。阿尔盖布。程序。78,第6号,472--490(2009;Zbl 1175.68112) 全文: 内政部