Larsen，Kim G。;弗雷德里克·拉尔森;保罗·佩特森;易、王 模型检查实时系统的紧凑数据结构和状态空间缩减。 （英语） Zbl 1081.68010号 实时系统。 25，编号2-3，255-275（2003）.MSC公司：68第05页 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，《实时系统》。25，编号2--3255-275（2003；Zbl 1081.68010） 全文： 内政部
亚历山大·戴维;格德·贝尔曼;Larsen，Kim G。;易、王 时间自动机验证中的统一与共享。 （英语） 兹比尔1023.68525 Ball，Thomas（编辑）等人，《模型检查软件》。第十届国际SPIN研讨会，美国俄勒冈州波特兰，2003年5月9日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2648, 225-229 (2003).MSC公司：68号30 65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，Lect。注释计算。科学。2648225-229（2003年；Zbl 1023.68525） 全文： 链接
约翰·本特森;W.O.David格里芬;Kristoffersen，Káre J。;拉森，金·G。;弗雷德里克·拉森;保罗·佩特森;易、王 使用UPPAAL自动验证音频控制协议。 （英语） Zbl 1008.68009号 J.日志。阿尔盖布。程序。 52-53, 163-181 (2002).MSC公司：68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bengtsson}等人，J.Log。阿尔盖布。程序。52-53、163-181（2002年；Zbl 1008.68009） 全文： 内政部
贝尔曼，G。;拉森，K.G。;皮尔逊，J。;魏斯，C。;Yi，W。 使用时钟差异图进行高效的定时可达性分析。 （英语） Zbl 1046.68577号 Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 341-353 (1999).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人，Lect。注释计算。科学。1633、341--353（1999；Zbl 1046.68577）
Larsen，Kim G。;贾斯汀·皮尔逊;卡斯滕·韦斯;易、王 时钟差异图。 （英语） Zbl 0937.68086号 Nord.J.计算。 第6期，第3271-298号（1999年）.MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Nord.J.计算。6，第3号，271--298（1999；Zbl 0937.68086）
Larsen，Kim G。;易、王 时间抽象互模拟：隐含规范和可判定性。 （英语） Zbl 0887.68068号 Inf.计算。 134，第2期，75-101（1997）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛K.G.Larsen｝和\textit｛W.Yi｝，信息计算。134，第2号，75--101（1997；Zbl 0887.68068） 全文： 内政部 链接
Larsen，Kim G。;保罗·佩特森;易、王 实时系统的模型检查。 （英语） Zbl 1507.68193号 Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965, 62-88 (1995).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。965、62-88（1995年；Zbl 1507.68193） 全文： 内政部 哈尔
拉森，金·G。;易、王 时间抽象的互模拟：隐式规范和可判定性。 （英语） Zbl 1511.68143号 Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 160-176 (1994).MSC公司：68问题55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛K.G.Larsen｝和\textit｛W.Yi｝，Lect。注释计算。科学。802、160--176（1994年；Zbl 1511.68143） 全文： 内政部