Robert M.Hierons。;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 从带有故障模型的随机定时系统进行测试。 (英语) Zbl 1161.68026号 J.日志。阿尔盖布。程序。 78,第2期,98-115(2009).MSC公司:65年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}等人,J.Log。阿尔盖布。程序。78,第2号,98--115(2009;Zbl 1161.68026) 全文: 内政部
彼得·霍夫纳;伯恩哈德·莫勒 混合系统的代数。 (英语) Zbl 1161.68032号 J.日志。阿尔盖布。程序。 78,第2期,74-97(2009).MSC公司:70年第68季度 93年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},J.Log。阿尔盖布。程序。78,第2号,74-97(2009年;兹bl 1161.68032) 全文: 内政部 链接
简·朱尔延斯 基于流的加密协议的域特定语言。 (英语) Zbl 1161.68018号 J.日志。阿尔盖布。程序。 78,第2期,54-73(2009).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Jürjens},J.Log。阿尔盖布。程序。78,编号2,54--73(2009;Zbl 1161.68018) 全文: 内政部