Manuel Gieseking先生;奥尔德罗格(Ernst-Rüdiger Olderog) Petri游戏基准系列的高级表示。 (英语) Zbl 1522.68364号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 115-137 (2022).MSC公司:68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gieseking}和\textit{E.-R.Olderog},莱克特。注释计算。科学。13030115--137(2022;Zbl 1522.68364) 全文: 内政部 arXiv公司
保罗·汉尼拔;奥尔德罗格(Ernst-Rüdiger Olderog) 重复通信Petri博弈的综合问题。 (英语) Zbl 1499.68225号 Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13288236-257(2022)。MSC公司:68问题85 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hannibal}和\textit{E.-R.Olderog},Lect。注释计算。科学。13288,236--257(2022;Zbl 1499.68225) 全文: 内政部
Manuel Gieseking先生;奥尔德罗格(Ernst-Rüdiger Olderog);尼克·Würdemann 解决高级Petri游戏。 (英语) Zbl 1443.68112号 学报信息。 57,编号3-5,591-626(2020).MSC公司:68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gieseking}等人,《学报》第57期,第3--5591--626号(2020年;Zbl 1443.68112) 全文: 内政部
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什,杰斯科;奥尔德罗格(Ernst-Rüdiger Olderog) 并发网络更新中的模型检查数据流。 (英语) Zbl 1437.68115号 Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。1178155-533(2019年)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,Lect。注释计算。科学。11781、515--533(2019年;Zbl 1437.68115) 全文: 内政部 arXiv公司
Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 霍尔逻辑的五十年。 (英语) Zbl 1427.68008号 正式Asp。计算。 31,第6号,751-807(2019).MSC公司:68-03 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Olderog},正式Asp。计算。31,第6号,751--807(2019;Zbl 1427.68008) 全文: 内政部 arXiv公司 链接
伯恩德·芬克贝纳;奥尔德罗格(Ernst-Rüdiger Olderog) Petri游戏:具有因果记忆的分布式系统的合成。 (英语) Zbl 1362.68211号 Inf.计算。 253,第2部分,181-203(2017).MSC公司:68问题85 2017年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{E.-R.Olderog},Inf.Comput。253,第2部分,181--203(2017年;兹bl 1362.68211) 全文: 内政部 arXiv公司
Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3期,823-852(2012).MSC公司:68号30 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: 内政部
迈克尔·莫勒;奥尔德罗格(Ernst-Rüdiger Olderog);霍尔格·拉什;海克·卫尔海姆 使用UML和Java将形式化方法集成到软件工程过程中。 (英语) Zbl 1141.68024号 正式Asp。计算。 20,第2期,161-204(2008).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Möller}等人,正式Asp。计算。20,第2号,161--204(2008;Zbl 1141.68024) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 通信系统语言之间的接口。 (英语) 兹比尔1425.68300 Kuich,Werner(编辑),自动机,语言和编程。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。第623641-655页(1992年)。MSC公司:68问题85 68甲15 68N20型 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},莱克特。注释计算。科学。623641-655(1992年;Zbl 1425.68300) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 并发进程的正确性。 (英语) Zbl 0745.68045号 西奥。计算。科学。 80,第263-288号(1991年).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},Theor(西奥)。计算。科学。80,第2263-288号(1991年;兹bl 074568045) 全文: 内政部
梅耶,J.-J.Ch。;E.-R.奥尔德罗。 隐藏统一并发的流语义。 (英语) Zbl 0672.68008号 学报信息。 27,第8号,381-397(1990). 审核人:J.J.Ch.梅耶 MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer}和\textit{E.R.Olderog},《学报》第27期,第8期,381--397(1990;Zbl 0672.68008) 全文: 内政部
德巴克,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。;朱克,J.I。 统一并发语义中的转换系统、度量空间和就绪集。 (英语) Zbl 0652.68028号 J.计算。系统。科学。 36,第2期,158-224(1988). 审核人:J.-J.Ch.梅耶 MSC公司:99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.De Bakker}等人,J.Compute。系统。科学。36,第2号,158--224(1988;Zbl 0652.68028) 全文: 内政部 链接
德巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 一致并发语义中的无限流和有限观察。 (英语) Zbl 0623.68016号 西奥。计算。科学。 第4987-112页(1987年).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}等人,Theor。计算。科学。49,87-112(1987年;兹bl 062368016) 全文: 内政部 链接
E.-R.奥尔德罗。;你好,托尼 用于通信过程的面向规范的语义。 (英语) Zbl 0569.68019号 学报信息。 23, 9-66 (1986).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Olderog}和\textit{T.Hoare},Acta Inf.23,9-66(1986年;Zbl 0569.68019) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 不带全局变量的Pascal-like程序的正确性。 (英语) Zbl 0534.68016号 西奥。计算。科学。 3049-90(1984年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},Theor(西奥)。计算。科学。30、49-90(1984年;Zbl 0534.68016) 全文: 内政部
Ernst-Ruediger Olderog 关于表达的概念和适应的规则。 (英语) Zbl 0511.68006号 西奥。计算。科学。 24, 337-347 (1983).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},Theor(西奥)。计算。科学。24337--347(1983年;Zbl 0511.68006) 全文: 内政部