沃尔特·福格勒;杰拉尔德·吕特根 接口自动机的线性时间分支时间透视图。 (英语) Zbl 1443.68099号 学报信息。 57,编号3-5,513-550(2020).MSC公司:65年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}和\textit{G.Lüttgen},《学报》第57期,第3--5513-550号(2020年;Zbl 1443.68099) 全文: 内政部
约翰内斯·加里斯;杰拉尔德·吕特根;艾琳·辛科;沃尔特·福格勒 共享内存的接口自动机。 (英语) Zbl 1519.68118号 Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。11200,151-166(2019年)。MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Gareis}等人,Lect。注释计算。科学。11200,151-166(2019年;兹bl 1519.68118) 全文: 内政部 链接
芬德里奇、萨沙;杰拉尔德·吕特根 接口自动机、组件兼容性和错误的一般理论。 (英语) Zbl 1421.68093号 学报信息。 56,第4号,287-319(2019).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Fendrich}和\textit{G.Lüttgen},《学报》第56卷第4期,第287--319页(2019年;Zbl 1421.68093) 全文: 内政部 链接
费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 非确定性模态接口。 (英语) Zbl 1345.68231号 西奥。计算。科学。 642, 24-53 (2016).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}等人,Theor。计算。科学。642、24-53(2016年;Zbl 1345.68231) 全文: 内政部
芬德里奇、萨沙;杰拉尔德·吕特根 接口自动机、组件兼容性和错误的一般理论。 (英语) Zbl 1354.68173号 布拉哈姆,埃里卡(编辑)等,《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-33692-3/pbk;978-3-3169-33693-0/电子书)。计算机科学讲座笔记9681160-175(2016)。MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Fendrich}和\textit{G.Lüttgen},Lect。注释计算。科学。9681、160-175(2016年;Zbl 1354.68173) 全文: 内政部 链接
杰拉尔德·吕特根;沃尔特·福格勒;芬德里奇、萨沙 具有乐观和悲观兼容性的更丰富的接口自动机。 (英语) 兹比尔1325.68161 学报信息。 52,编号4-5,305-336(2015).MSC公司:68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}等人,Acta Inf.52,编号4-50305-336(2015;兹bl 1325.68161) 全文: 内政部
费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 非确定性模态接口。 (英语) Zbl 1345.68230号 Italiano、Giuseppe F.(编辑)等,《2015年SOFSEM:计算机科学的理论与实践》。2015年1月24日至29日,第41届计算机科学理论与实践当前趋势国际会议,捷克共和国,Pec pod Snězzo kou。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-46077-1/pbk)。计算机科学课堂讲稿8939,152-163(2015)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}等人,Lect。注释计算。科学。8939,152--163(2015;Zbl 1345.68230) 全文: 内政部 链接
杰拉尔德·吕特根;沃尔特·福格勒 模态接口自动机。 (英语) Zbl 1272.68313号 日志。方法计算。科学。 9,第3号,第4号论文,28页(2013年).MSC公司:68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Log。方法计算。科学。9,第3号,第4号论文,28页(2013;Zbl 1272.68313) 全文: 内政部 arXiv公司
杰拉尔德·吕特根;沃尔特·福格勒 模态接口自动机。 (英语) Zbl 1272.68312号 Baeten,Jos C.M.(编辑)等人,《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议,2012年TCS,荷兰阿姆斯特丹,2012年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33474-0/pbk)。计算机科学课堂讲稿7604,265-279(2012)。MSC公司:68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},莱克特。注释计算。科学。7604265--279(2012年;Zbl 1272.68312) 全文: 内政部