罗尔夫·亨尼克;亚历山大·纳普 具有参数化事件的系统规范:机构相关方法。 (英语) Zbl 07576521号 J.日志。阿尔盖布。方法计划。 128,文章ID 100791,17 p.(2022).MSC公司:68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{A.Knapp},J.Log。阿尔盖布。方法计划。128,文章ID 100791,17 p.(2022;Zbl 07576521) 全文: 内政部
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 基于事件/数据的系统的混合动态逻辑机构。 (英语) Zbl 1522.68322号 正式Asp。计算。 33,第6期,1209-1248(2021).MSC公司:60年第68季度 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,《正式Asp》。计算。33,第6号,1209--1248(2021;Zbl 1522.68322) 全文: 内政部 arXiv公司
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 (英语) 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) 全文: 内政部
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯(Manuel A.Martins)。 反应系统逐步发展的逻辑。 (英语) Zbl 1400.68125号 西奥。计算。科学。 744, 78-96 (2018).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,Theor。计算。科学。744,78-96(2018;Zbl 1400.68125) 全文: 内政部 链接
罗尔夫·亨尼克;亚历山大·马德拉;马丁·威尔辛 重温行为规范和抽象规范。 (英语) 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) 全文: 内政部
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯(Manuel A.Martins)。 带粘合剂的动态逻辑及其在反应系统开发中的应用。 (英语) Zbl 1482.68143号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9965, 422-440 (2016).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,Lect。注释计算。科学。9965,422--440(2016;Zbl 1482.68143) 全文: 内政部 链接
米歇尔·比多特;罗尔夫·亨尼克 基于构造函数的观测逻辑。 (英语) 兹比尔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 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) 全文: 内政部
米歇尔·比多特;罗尔夫·亨尼克 模块化系统规范模块化实现的通用框架。 (英语) 兹比尔1497.68288 Gaudel,Marie-Claude(编辑)等人,TAPSOFT’93:软件开发的理论和实践。第四届CAAP/FASE国际联席会议,法国奥赛,1993年4月13日至17日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。668, 199-214 (1993).MSC公司:60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker},莱克特。注释计算。科学。668199-214(1993;Zbl 1497.68288) 全文: 内政部
罗尔夫·亨尼克 代数实现证明的半算法。 (英语) Zbl 0758.68048号 西奥。计算。科学。 104,第1期,53-87(1992). 审核人:R.亨尼克 MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \文本{R.Hennicker},Theor。计算。科学。104,编号1,53--87(1992;Zbl 0758.68048) 全文: 内政部