巴巴拉·科尼格;维塔利·科齐奥拉 面向属性图转换系统的验证。 （英语） Zbl 1175.68226号 Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，305-320（2008）。MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.König}和\textit{V.Kozioura}，莱克特。注释计算。科学。5214305-320（2008年；Zbl 1175.68226） 全文： 内政部
马克·奥利弗·斯特尔;何塞·梅塞盖尔;彼得·塞巴·奥维茨基 使用重写逻辑作为统一框架来表示和执行Petri网。 （英语） 兹比尔1263.68094 Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记44，第4期，140-162（2001）。MSC公司：2012年第68季度 60年第68季度 68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛M.-O.Stehr｝等人，电子。理论注释。计算。科学。44，第4140-162号（2001年；兹bl 1263.68094） 全文： 内政部
马丁·科尔夫;莱拉·里贝罗 图文法和Petri网之间的形式关系。 （英语） Zbl 1412.68108号 Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1073, 288-303 (1996).MSC公司：2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Korff}和\textit{L.Ribeiro}，莱克特。注释计算。科学。1073、288--303（1996年；Zbl 1412.68108） 全文： 内政部
哈特穆特·埃里格;伯恩德·马赫 TAPSOFT的十年。软件开发理论和实践方面的进展和前景。 （英语） Zbl 1496.68077号 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 3-24 (1995).MSC公司：68号01 68号30 2012年第68季度 60年第68季度 68问题65 68-02 68-03 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{B.Mahr}，莱克特。注释计算。科学。915，3-24（1995年；兹bl 1496.68077） 全文： 内政部