约翰森,艾纳·布罗克;马丁·斯特芬;Johanna Beate Stumpf 虚拟定时环境:嵌套虚拟化的演算。 (英语) Zbl 1381.68205号 J.日志。阿尔盖布。方法计划。 94, 109-127 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。方法计划。94、109-127(2018;Zbl 1381.68205) 全文: 内政部 链接
埃纳尔·布罗赫·约翰森;鲁道夫·施拉特;塔皮娅·塔里法(Tapia Tarifa,S.Lizeth) 在定时面向对象模型中集成部署架构和资源消耗。 (英语) Zbl 1304.68029号 J.日志。阿尔盖布。方法计划。 84,第1期,67-91(2015).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。方法计划。84,第1号,67--91(2015;Zbl 1304.68029) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu,Ingrid Chieh女士 适用类层次结构的证明系统。 (英语) Zbl 1304.68031号 J.日志。阿尔盖布。方法计划。 84,第1期,37-53(2015).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,J.Log。阿尔盖布。方法计划。84,编号1,37-53(2015;兹bl 1304.68031) 全文: 内政部