帕特里夏·鲍耶;埃德·布林克斯马;Larsen，Kim G。 多值时间自动机的最优无限调度。 （英语） Zbl 1133.68360号 形式方法系统。设计。 32，第1号，3-23（2008）.MSC公司：65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《形式方法系统》。设计。32，第1号，第3--23号（2008；Zbl 1133.68360） 全文： 内政部 链接
帕特里夏·鲍耶;埃德·布林克斯马;Larsen，Kim G。 尽可能便宜地活着。 （英语） Zbl 1135.93352号 Alur，Rajeev（编辑）等人，《混合系统：计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21259-0/pbk）。计算机科学课堂讲稿2993203-218（2004）。MSC公司：93C83号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。2993203--218（2004年；Zbl 1135.93352） 全文： 内政部
埃德·布林克斯马（编辑）;金·古德斯特兰·拉森（编辑） 计算机辅助验证。第14届国际会议，2002年CAV，2002年7月27日至31日，丹麦哥本哈根。诉讼程序。 （英语） Zbl 0993.00049号 计算机科学课堂讲稿. 2404. 柏林：斯普林格。xiii，626页（2002年）。MSC公司：00B25型 68-06 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Brinksma}（编辑）和\textit{K.Guldstrand Larsen}（主编），计算机辅助验证。2002年7月27日至31日在丹麦哥本哈根举行的第14届国际会议，CAV 2002。诉讼程序。柏林：施普林格出版社（2002；Zbl 0993.00049） 全文： 内政部
金·拉森;格德·贝尔曼;埃德·布林克斯马;安斯加·芬克;托马斯·匈奴 尽可能便宜：定价时间自动机的高效成本最优可达性。 （英语） Zbl 0991.68536号 Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2102, 493-505 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Larsen}等人，Lect。注释计算。科学。2102493--505（2001年；Zbl 0991.68536） 全文： 链接