卢卡什·霍利克;马尔特·伊斯伯纳;本特·琼森 具有数据的组件代数中的中介合成。 （英语） Zbl 1444.68103号 Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，在Ernst-Rüdiger Olderog 60岁生日之际举行的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 238-259 (2015).MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人，Lect。注释计算。科学。9360、238--259（2015；Zbl 1444.68103） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克;本特·琼森;艾哈迈德·雷兹 一种用于高度并发数据结构的集成规范和验证技术。 （英语） Zbl 1381.68141号 Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，324-338（2013）。MSC公司：60年第68季度 68第05页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。7795324-338（2013年；兹比尔1381.68141） 全文： 内政部 链接
陈、陶璐;克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 组件行为的组合规范理论。 （英语） Zbl 1352.68149号 Seidl，Helmut（编辑），《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会（ESOP 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28868-5/pbk）。计算机科学讲义7211，148-168（2012）。MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人，Lect。注释计算。科学。7211，148--168（2012；Zbl 1352.68149） 全文： 内政部
奥尔加·格林斯坦;本特·琼森;保罗·佩特森 使用定时决策树推断事件记录自动机（扩展抽象）。 （英语） Zbl 1151.68459号 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。2006年8月27日至30日，德国波恩，2006年第17届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137435-449（2006）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛O.Grinchtein｝等人，Lect。注释计算。科学。4137435--449（2006年；Zbl 1151.68459） 全文： 内政部
奥尔加·格林斯坦;本特·琼森;马丁·勒克 时间转换系统的推断。 （英语） Zbl 1272.68165号 Bradfield，Julian（编辑）等人，第六届无限状态系统验证国际研讨会论文集（INFINITY 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》138，第3期，87-99（2005）。MSC公司：68问题32 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}等人，《电子》。注释Theor。计算。科学。138，第3号，87--99（2005；Zbl 1272.68165） 全文： 链接
帕罗什·阿齐兹·阿卜杜拉;奥罗雷·科伦·安尼奇尼;艾哈迈德·布瓦贾尼;本特·琼森 使用前向可达性分析来验证有损信道系统。 （英语） 兹比尔1073.68675 形式方法系统。设计。 25，第1号，39-65（2004）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，《形式方法系统》。设计。25，第1号，39--65（2004；Zbl 1073.68675） 全文： 内政部
帕罗什·阿卜杜拉;拜尔，克里斯特尔;伊耶，普鲁索塔曼;本特·琼森 概率有损信道系统的推理。 （英语） 兹比尔0999.68145 Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 320-333 (2000).MSC公司：68问题85 60年第68季度 65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人，Lect。注释计算。科学。1877320--333（2000年；Zbl 0999.68145）