ter Beek，Maurice H。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗？使用动态逻辑验证团队自动机。 （英语） Zbl 1529.68165号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 122-141 (2023).MSC公司：60年第68季度 03B70号 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人，Lect。注释计算。科学。14000、122--141（2023年；Zbl 1529.68165） 全文： 内政部
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 （英语） Zbl 1528.68224号 J.日志。阿尔盖布。方法计划。 122，文章ID 100698，19 p.（2021）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，J.Log。阿尔盖布。方法计划。122，文章ID 100698，第19页（2021；Zbl 1528.68224） 全文： 内政部
罗尔夫·亨尼克;亚历山大·马德拉;马丁·威尔辛 重温行为规范和抽象规范。 （英语） 兹比尔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 1464.68030号 日志。方法计算。科学。 14，1号，1号论文，31页（2018）.MSC公司：64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{M.Bidoit}，Log。方法计算。科学。14，第1期，第1号论文，31页（2018；Zbl 1464.68030） 全文： 内政部 arXiv公司
洛科·德尼古拉;罗尔夫·亨尼克 向马丁·威辛致敬。 （英语） Zbl 1437.01027号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 1-12 (2015).MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{R.Hennicker}，莱克特。注释计算。科学。8950，1-12（2015；Zbl 1437.01027） 全文： 内政部
罗尔夫·亨尼克;亚历山大·纳普 从界面理论转向组装理论。 （英语） 兹比尔1309.68047 学报信息。 52，编号2-3235-268（2015）.MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{A.Knapp}，《学报》第52期，第2--3235-268号（2015年；Zbl 1309.68047） 全文： 内政部 链接
罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛 通信安全组件系统的组装理论。 （英语） 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 1239.68023号 亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728367-382（2009）。MSC公司：68纳米30 68个M12 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}和\textit{R.Hennicker}，莱克特。注释计算。科学。5728367--382（2009年；Zbl 1239.68023） 全文： 内政部
米歇尔·比多特;罗尔夫·亨尼克 基于构造函数的观测逻辑。 （英语） Zbl 1088.68112号 J.日志。阿尔盖布。程序。 67，第1-2、3-51号（2006）.MSC公司：68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，J.Log。阿尔盖布。程序。67，编号1--2，3--51（2006；Zbl 1088.68112） 全文： 内政部
米歇尔·比多特;罗尔夫·亨尼克;亚历山大·库兹 观察逻辑、基于构造的逻辑及其二重性。 （英语） Zbl 1038.68079号 西奥。计算。科学。 298，第3期，471-510（2003）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人，Theor。计算。科学。298，第3号，471--510（2003；Zbl 1038.68079） 全文： 内政部
亚历山大·库兹;罗尔夫·亨尼克 关于模块组合规范的机构。 （英语） Zbl 1052.68089号 西奥。计算。科学。 280，编号1-2，69-103（2002）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Kurz}和\textit{R.Hennicker}，Theor。计算。科学。280，编号1--2，69-103（2002；Zbl 1052.68089） 全文： 内政部
罗尔夫·亨尼克;马丁·威尔辛 结构化代数规范的证明系统：概述。 （英语） 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年；Zbl 1507.68202） 全文： 内政部
罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多特 具有可观察性算子的结构化规范的证明系统。 （英语） 兹伯利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） 全文： 内政部
米歇尔·比多特;罗尔夫·亨尼克 行为理论和行为特性的证明。 （英语） Zbl 0872.68167号 西奥。计算。科学。 165，第1期，第3-55页（1996年）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，Theor。计算。科学。165，第1号，第3--55号（1996；Zbl 0872.68167） 全文： 内政部
米歇尔·比多特;罗尔夫·亨尼克 证明行为实施的正确性。 （英语） Zbl 1496.68199号 Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 152-168 (1995).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，莱克特。注释计算。科学。936152--168（1995年；Zbl 1496.68199） 全文： 内政部
罗尔夫·亨尼克 代数实现证明的半算法。 （英语） Zbl 0758.68048号 西奥。计算。科学。 104，第1期，53-87（1992）. 审核人：R.亨尼克 MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \文本{R.Hennicker}，Theor。计算。科学。104，编号1，53-87（1992；兹bl 0758.68048） 全文： 内政部
罗尔夫·亨尼克 上下文归纳法：行为抽象和代数实现的证明原则。 （英语） 兹比尔0739.68060 正式Asp。计算。 3，第4期，326-345（1991）. 审核人：G.格里加斯（维尔纽斯） MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}，正式Asp。计算。3，编号4，326--345（1991；Zbl 0739.68060） 全文： 内政部