沃尔特·福格勒；杰拉尔德·吕特根 接口自动机的线性时间分支时间透视图。 （英语） 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） 全文： 内政部 链接
费伦茨·巴伊托；沃尔特·福格勒 ACTL用于模态接口自动机。 （英语） Zbl 1373.68296号 西奥。计算。科学。 693, 13-34 (2017).MSC公司：68问题85 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler}，Theor。计算。科学。693、13-34（2017年；Zbl 1373.68296） 全文： 内政部
费伦茨·巴伊托；芬德里奇、萨沙；杰拉尔德·吕特根；沃尔特·福格勒 非确定性模态接口。 （英语） 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 1328.68136号 西奥。计算。科学。 597, 18-39 (2015).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler}，Theor。计算。科学。597、18-39（2015年；Zbl 1328.68136） 全文： 内政部
杰拉尔德·吕特根；沃尔特·福格勒；芬德里奇、萨沙 具有乐观和悲观兼容性的更丰富的接口自动机。 （英语） Zbl 1325.68161号 学报信息。 52，编号4-5，305-336（2015）.MSC公司：68问题85 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}等人，《信息学报》52，第4--5305-336号（2015；Zbl 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 1422.68147号 Geffert，Viliam（编辑）等，SOFSEM 2014：计算机科学的理论与实践。第40届计算机科学理论与实践当前趋势国际会议，2014年1月26-29日，斯洛伐克，11月斯莫科维奇。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8327, 162-173 (2014).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler}，莱克特。票据计算。科学。8327，162--173（2014；Zbl 1422.68147） 全文： 内政部
杰拉尔德·吕特根；沃尔特·福格勒 模态接口自动机。 （英语） 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） 全文： 内政部
维克托·科门科；亚历克斯·孔德拉提耶夫；马西耶·库特尼；沃尔特·福格勒 合并过程——Petri网行为的新浓缩表示。 （英语） Zbl 1134.68445号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿365338-352（2005）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人，Lect。票据计算。科学。3653、338--352（2005年；Zbl 1134.68445） 全文： 内政部
埃尔玛·比勒；沃尔特·福格勒 令牌通过MUTEX解决方案的效率-一些实验。 （英语） Zbl 1510.68052号 Desel，Jörg（编辑）等人，《Petri网的应用和理论》，1998年。1998年6月22日至26日，第19届国际会议，ICATPN'98，葡萄牙里斯本。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1420, 185-204 (1998).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bihler}和\textit{W.Vogler}，莱克特。票据计算。科学。1420、185--204（1998年；Zbl 1510.68052） 全文： 内政部