Larsen，Kim G。;拉杜·马达尔;薛冰田 并发加权逻辑。 （英语） Zbl 1330.68210号 J.日志。阿尔盖布。方法计划。 84，第6期，884-897（2015）.MSC公司：68问题85 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，J.Log。阿尔盖布。方法计划。84，第6号，884--897（2015；Zbl 1330.68210） 全文： 内政部
金·古德斯特兰·拉森;马吕斯·米库奇奥尼斯;雅各布·哈哈尔·塔安克维斯特 安全且最佳的自适应巡航控制。 （英语） 兹比尔1444.68183 Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 260-277 (2015).MSC公司：第68页第27页 60年第68季度 90B20型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。9360260-277（2015年；Zbl 1444.68183） 全文： 内政部
Larsen，Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 （英语） Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：60年第68季度 03B45 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare}，Theor。计算。科学。546164--175（2014年；Zbl 1317.68120） 全文： 内政部
塞巴斯蒂安·鲍尔。;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;吉·斯尔巴 使用结构化标签扩展模态转换系统。 （英语） Zbl 1277.68160号 数学。结构。计算。科学。 22，第4期，581-617（2012）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，数学。结构。计算。科学。22，第4号，581--617（2012；Zbl 1277.68160） 全文： 内政部
卢卡·卡德利;Larsen，Kim G。;拉杜·马达尔 模块化马尔科夫逻辑。 （英语） Zbl 1333.68200号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756380-391（2011）。MSC公司：第68季度87 03B70号 60年25日 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。6756380-391（2011年；兹比尔1333.68200） 全文： 内政部
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}，Inf.Compute。134，第2号，75--101（1997；Zbl 0887.68068） 全文： 内政部 链接
Larsen，Kim 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） 全文： 内政部
金·古德斯特兰·拉森 隐式规范的表达能力。 （英语） Zbl 0779.68059号 西奥。计算。科学。 114，第1期，119-147（1993）. 审核人：K.G.拉森 MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}，Theor。计算。科学。114，编号119-147（1993年；兹bl 0779.68059） 全文： 内政部
Larsen，Kim G。;罗宾·米尔纳 使用相对化互模拟的组成协议验证。 （英语） Zbl 0753.68067号 Inf.计算。 99，第1期，80-108（1992）.MSC公司：60年第68季度 2010年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Milner}，Inf.Compute。99，第1号，80--108（1992；Zbl 0753.68067） 全文： 内政部
Larsen，Kim G。;本特·汤姆森 部分规范和成分验证。 （英语） Zbl 0755.68102号 西奥。计算。科学。 88，第1期，15-32页（1991年）. 审核人：G.乔巴努（伊阿什） MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{B.Thomsen}，Theor。计算。科学。88，编号1，15--32（1991；Zbl 0755.68102） 全文： 内政部
Larsen，Kim G。;阿恩·斯科 通过概率测试进行相互模拟。 （英语） Zbl 0756.68035号 Inf.计算。 94，第1期，1-28页（1991年）. 审核人：D.Gruska（布拉迪斯拉发） MSC公司：2010年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{A.Skou}，Inf.Compute。94，第1号，1--28（1991；Zbl 0756.68035） 全文： 内政部
Larsen，Kim G。 进程之间的上下文相关等价。 （英语） Zbl 0612.68027号 西奥。计算。科学。 49, 185-215 (1987).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}，Theor。计算。科学。49185-215（1987年；Zbl 0612.68027） 全文： 内政部