伯恩德·格罗鲍尔;奥拉夫·米勒 从I/O自动机到定时I/O自动机。Isabelle/HOLCF中“广义铁路交叉口”的解决方案。 (英语) Zbl 0952.68128号 Bertot,Yves(编辑)等人,《高阶逻辑中的定理证明》。第12届国际会议,TPHOLs’99。1999年9月14日至17日,法国尼斯。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1690273-289(1999年)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Grobauer}和\textit{O.Müller},莱克特。注释计算。科学。1690273-289(1999年;兹bl 0952.68128)
奥拉夫·米勒;托比亚斯·尼普科;大卫·冯·奥海姆;奥斯卡·斯洛托什 HOLCF=HOL+LCF。 (英语) Zbl 0933.03028号 J.功能。程序。 9,第2期,191-223(1999).MSC公司:03B70号 68甲18 68吨15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Müller}等人,J.Funct。程序。9,第2号,191--223(1999;Zbl 0933.03028) 全文: 内政部
奥拉夫·米勒 I/O自动机及其以外:Isabelle中的时序逻辑和抽象。 (英语) Zbl 0927.03024号 吉姆·格兰迪(编辑)等人,《高阶逻辑中的定理证明》。第11届国际会议,98年TPHOL。澳大利亚堪培拉,1998年9月27日至10月1日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1479, 331-348 (1998).MSC公司:03B35型 68吨15 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Müller},莱克特。注释计算。科学。1479、331--348(1998年;Zbl 0927.03024)
奥拉夫·米勒 基于形式化元理论的I/O自动机验证环境。 (英语) Zbl 0914.68135号 慕尼黑:TU München,Fakultät Informatik,iv,271 p.(1998)。MSC公司:第68季度第45季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{O.Müller},一个基于形式化元理论的I/O自动机验证环境。慕尼黑:TU München,Fakultät Informatik(1998;Zbl 0914.68135)