伊贡博格尔;克劳斯·迪特·施韦 并发抽象状态机。 （英语） Zbl 1352.68176号 学报信息。 53，第5期，469-492（2016）. 审核人：Tiit Riismaa（塔林） MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{K.-D.Schewe}，《学报》第53期，第5期，469--492（2016；Zbl 1352.68176） 全文： 内政部
伊贡博格尔;安东尼奥·西斯特尼诺;文森佐·格瓦西 具有应用程序的环境抽象状态机。 （英语） Zbl 1246.68088号 J.计算。系统。科学。 78，第3期，939-959（2012）.MSC公司：68甲19 68T05型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}等人，《计算杂志》。系统。科学。78，第3号，939--959（2012；Zbl 1246.68088） 全文： 内政部
伊贡博格尔 面向主题的软件设计方法和抽象状态机方法。 （英语） Zbl 1312.68071号 Düsterhöft，Antje（ed.）等人，《概念建模及其理论基础》。在伯恩哈德·塔尔海姆60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-28278-2/pbk）。计算机科学讲义7260，52-72（2012）。MSC公司：68N99型 2005年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}，莱克特。注释计算。科学。7260，52-72（2012；Zbl 1312.68071） 全文： 内政部
伊贡博格尔 地面模型的构建和分析及其改进，作为验证基于计算机的系统的基础。 （英语） Zbl 1123.68036号 正式Asp。计算。 19，第2期，225-241（2007）.MSC公司：2005年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}，正式Asp。计算。19，第225-241号（2007年；兹bl 1123.68036） 全文： 内政部
伊贡博格尔;尼库·弗鲁贾。;文森佐·格瓦西;Robert F.Stärk。 C语言语义的高级模块化定义。 （英语） Zbl 1080.68006号 西奥。计算。科学。 336，编号2-3，235-284（2005）.MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}等人，Theor。计算。科学。336，编号2--3，235-284（2005；Zbl 1080.68006） 全文： 内政部
伊贡博格尔 抽象状态机：计算模型和系统设计框架的统一视图。 （英语） Zbl 1066.68047号 Ann.纯粹应用。逻辑 133，编号1-3，149-171（2005）. 审核人：丹尼尔拉·马林内斯库（布拉索夫） MSC公司：2005年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}，Ann.纯应用。逻辑133，编号1--3，149-171（2005；Zbl 1066.68047） 全文： 内政部
克里斯托夫·贝尔;伊贡博格尔 通过多态有序类型对类型化WAM扩展进行细化。 （英语） Zbl 0876.68019号 正式Asp。计算。 8，第5期，539-564（1996）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}和\textit{E.Börger}，正式Asp。计算。8，第5号，539--564（1996；Zbl 0876.68019） 全文： 内政部
克里斯托夫·贝尔;伊贡博格尔 具有抽象类型约束的WAM扩展的规范和正确性证明。 （英语） 兹比尔0857.68016 正式Asp。计算。 8，第4期，428-462（1996）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}和\textit{E.Börger}，正式Asp。计算。8，编号4248-462（1996年；Zbl 0857.68016） 全文： 内政部