罗尔夫·亨尼克;亚历山大·马德拉;马丁·威尔辛 重温行为规范和抽象规范。 (英语) Zbl 1396.68073号 西奥。计算。科学。 741, 32-43 (2018).MSC公司:68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Theor。计算。科学。741,32-43(2018;Zbl 1396.68073) 全文: 内政部
罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛 通信安全组件系统的组装理论。 (英语) Zbl 1310.68057号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统视角。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-54847-5/pbk)。计算机科学课堂讲稿8415,145-160(2014)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Lect。注释计算。科学。8415,145-160(2014;Zbl 1310.68057) 全文: 内政部
阿图尔·博罗纳特;亚历山大·纳普;何塞·梅塞盖尔;马丁·威尔辛 什么是多模型语言? (英语) Zbl 1253.68225号 Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,71-87(2009)。MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Boronat}等人,Lect。注释计算。科学。5486、71--87(2009年;Zbl 1253.68225) 全文: 内政部 链接
亚历山大·纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 MTLA和移动UML中移动系统的规范和细化。 (英语) Zbl 1086.68016号 西奥。计算。科学。 351,第2期,184-202(2006).MSC公司:68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}等人,Theor。计算。科学。351,第2号,184--202(2006;Zbl 1086.68016) 全文: 内政部 链接
罗尔夫·亨尼克;马丁·威尔辛 结构化代数规范的证明系统:概述。 (英语) Zbl 1507.68202号 Chlebus,Bogdan S.(编辑)等人,《计算理论基础》。第11届国际研讨会,1997年9月1日至3日,波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1279, 19-37 (1997).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{M.Wirsing},莱克特。注释计算。科学。1279,19-37(1997年;兹bl 1507.68202) 全文: 内政部
罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多特 具有可观测性算子的结构化规范的证明系统。 (英语) Zbl 0901.68116号 西奥。计算。科学。 173,第2期,393-443(1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Theor。计算。科学。173,编号2,393--443(1997;Zbl 0901.68116) 全文: 内政部
F.L.鲍尔。;Wirsing,M。 隐等价代数规范。 (英语) Zbl 0632.68024号 Acta信息。 25,第2期,111-153(1988).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}和\textit{M.Wirsing},《学报》第25期,第2期,第111--153页(1988;Zbl 0632.68024) 全文: 内政部
马丁·威尔辛 结构化代数规范:一种核心语言。 (英语) Zbl 0599.68021号 西奥。计算。科学。 42, 123-249 (1986).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \文本{M.Wirsing},Theor。计算。科学。42、123--249(1986年;Zbl 0599.68021) 全文: 内政部
布罗伊,M。;Wirsing,M。;成对,C。 对抽象数据类型模型的系统研究。 (英语) 兹伯利0552.68010 西奥。计算。科学。 33, 139-174 (1984).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,Theor。计算。科学。33、139--174(1984年;Zbl 0552.68010) 全文: 内政部