法特梅·卡泽梅尼;埃纳尔·布罗赫·约翰森;Owe、Olaf;伊兰科·巴拉辛厄姆 WSN节能分组协议的形式化建模和验证。 (英语) Zbl 1252.68041号 J.日志。阿尔盖布。程序。 81,第3期,284-297(2012).MSC公司:64岁以下 68个M12 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Kazemeyni}等人,J.Log。阿尔盖布。程序。81、3号、284--297(2012;Zbl 1252.68041) 全文: 内政部
埃纳尔·布罗赫·约翰森;Mai Thoung Tran,Thi公司;Owe、Olaf;马丁·斯特芬 多线程Java的安全锁定,但有例外。 (英语) Zbl 1246.68077号 J.日志。阿尔盖布。程序。 81,第3期,257-283(2012).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。程序。81,第3号,257--283(2012;Zbl 1246.68077) 全文: 内政部
Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 分布式系统的可观察行为:并发对象的组件推理。 (英语) Zbl 1247.68184号 J.日志。阿尔盖布。程序。 81,第3期,227-256(2012).MSC公司:68问题85 68号30 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人,J.Log。阿尔盖布。程序。81、3号、227--256(2012;Zbl 1247.68184) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 懒惰的行为子类型。 (英语) Zbl 1204.68072号 J.日志。阿尔盖布。程序。 79,第7期,578-607(2010).MSC公司:68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,J.Log。阿尔盖布。程序。79,第7号,578--607(2010;Zbl 1204.68072) 全文: 内政部 链接
埃纳尔·布罗赫·约翰森(编辑);Owe、Olaf(编辑);杰拉多·施奈德(编辑) 特刊:第19届北欧规划理论研讨会(NWPT 2007)。根据2007年10月10日至12日在挪威奥斯陆举行的研讨会上所作的陈述,选出了一些论文。 (英语) Zbl 1194.68047号 J.日志。阿尔盖布。程序。78,第7、vii、491-664号(2009年)。 MSC公司:68-06 68牛顿 00B25型 PDF格式BibTeX公司 XML格式