Jan Friso，格鲁特（编辑）;金·古德斯特兰·拉森（编辑） 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。 （英语） Zbl 1471.68016号 计算机科学课堂讲稿12652.查姆：施普林格（ISBN 978-3-030-72012-4/pbk；978-3-0030-72013-1/电子书）。xxi，465页。（2021）。MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}（编辑）和\textit{K.G.Larsen}（编），系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格（2021；Zbl 1471.68016） 全文： DOI程序
Jan Friso，格鲁特（编辑）;金·古德斯特兰·拉森（编辑） 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分。 （英语） Zbl 1466.68015号 计算机科学课堂讲稿12651.查姆：施普林格（ISBN 978-3-030-72015-5/pbk；978-3-0030-72016-2/电子书）。xxi，467页。（2021）。MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}（编辑）和\textit{K.G.Larsen}（编），系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格（2021；Zbl 1466.68015） 全文： DOI程序
蒂齐亚娜·玛格丽亚（编辑）;格拉夫，苏珊娜（编辑）;Larsen，Kim G。（编辑） 模型、心态、元：什么、如何以及为什么不？在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。 （英语） Zbl 1425.68013号 计算机科学课堂讲稿11200.查姆：施普林格（ISBN 978-3-030-22347-2/pbk；978-3-0030-22348-9/电子书）。xv，431页。(2019).MSC公司：68-06 68新元 68季度xx 00B30型 PDF格式BibTeX公司 XML格式引用 \textit｛T.Margaria｝（编辑）等人，《模型、心态、元：什么、如何以及为什么不？》？在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆：斯普林格（2019；Zbl 1425.68013） 全文： DOI程序
Larsen，Kim G。（编辑）;奥列格·索科尔斯基（编辑）;王，季（编辑） 可靠的软件工程。理论、工具和应用。第三届国际研讨会，2017年10月23日至25日，中国长沙，SETTA 2017。诉讼程序。 （英语） Zbl 1398.68033号 计算机科学课堂讲稿10606.查姆：施普林格（ISBN 978-3-319-69482-5/pbk；978-3-3169-69483-2/电子书）。十八、351页。(2017).MSC公司：68-06 68新元 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）等人，《可靠的软件工程。理论、工具和应用》。第三届国际研讨会，2017年10月23日至25日，中国长沙，SETTA 2017。诉讼程序。查姆：施普林格（2017；Zbl 1398.68033） 全文： DOI程序
Larsen，Kim G。（编辑）;Bodlaender，Hans L。（编辑）;Jean-François拉斯金（编辑） 第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，2017年MFCS，丹麦奥尔堡。 （英语） Zbl 1376.68011号 LIPIcs–莱布尼茨国际信息学会议录83.瓦德恩：Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-95977-046-0）。xvi，85篇文章，非连续页面，仅电子版，开放存取（2017年）。MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（ed.）等人，第42届计算机科学数学基础国际研讨会，MFCS 2017，8月21日至25日，丹麦奥尔堡。Wadern:Schloss Dagstuhl--Leibniz Zentrum für Informatik（2017；Zbl 1376.68011） 全文： DOI程序 链接
金·古德斯特兰·拉森（编辑）;伊戈尔·波塔波夫（编辑）;吉·斯尔巴（编辑） 可达性问题。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。 （英语） Zbl 1371.68012号 计算机科学课堂讲稿9899.查姆：施普林格（ISBN 978-3-319-45993-6/pbk；978-3-3169-45994-3/电子书）。xiv，193页。(2016).MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）等人，《可达性问题》。第十届国际研讨会，RP 2016，丹麦奥尔堡，2016年9月19-21日。诉讼程序。查姆：斯普林格（2016；Zbl 1371.68012） 全文： DOI程序
迪帕克·D’Souza（编辑）;阿卡什·拉尔（编辑）;金·古德斯特兰·拉森（编辑） 验证、模型检查和抽象解释。第16届国际会议，2015年VMCAI，印度孟买，2015年1月12-14日。诉讼程序。 （英语） Zbl 1303.68013号 计算机科学课堂讲稿8931.柏林：施普林格出版社（ISBN 978-3-662-46080-1/pbk）。十八、467页。（2015年）。MSC公司：68-06 60年第68季度 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{D.D’Souza}（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12-14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：施普林格出版社（2015；Zbl 1303.68013） 全文： DOI程序
拜尔，克里斯特尔;Joost-Pieter卡托恩 [金·古德斯特兰·拉森] 模型检查原则。金·古德斯特兰·拉森（Kim Guldstrand Larsen）的前言。 （英语） Zbl 1179.68076号 马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-02649-9/hbk）。十七、975页。(2008).MSC公司：60年第68季度 68-01 68-02 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}和\textit{J.-P.Katoen}，模型检查原理。金·古德斯特兰·拉森（Kim Guldstrand Larsen）的前言。马萨诸塞州剑桥：麻省理工学院出版社（2008；Zbl 1179.68076）
Aceto，卢卡;Ingólfsdóttir，安娜;Larsen，Kim G。;吉·斯尔巴 无功系统。建模、规范和验证。 （英语） Zbl 1141.68043号 剑桥：剑桥大学出版社（ISBN 978-0-521-87546-2/hbk）。十六、284页。(2007). 审核人：马格努斯·斯坦比（图尔库） MSC公司：68问题85 68-01 60年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，反应系统。建模、规范和验证。剑桥：剑桥大学出版社（2007；Zbl 1141.68043） 全文： DOI程序
Larsen，Kim G。（编辑）;彼得·尼伯特（编辑） 时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。 （英语） 兹比尔1048.68006 计算机科学课堂讲稿2791.柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。viii，第281页。(2004).MSC公司：68-06 68问题85 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）和textit{P.Niebert}（主编），时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修改后的文件。柏林：施普林格出版社（2004；Zbl 1048.68006） 全文： DOI程序
沃尔特·福格勒（编辑）;金·拉森（编辑） 02年MTCS。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。 （英语） Zbl 1270.68035号 理论计算机科学电子笔记第68页，第5页。阿姆斯特丹：爱思唯尔。1-136，仅电子版（2003年）。MSC公司：68-06 60年第68季度 68问题85 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}（编辑）和\textit{K.Larsen}（主编），MTCS'02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：Elsevier（2003；Zbl 1270.68035） 全文： 链接
埃德·布林克斯马（编辑）;金·古德斯特兰·拉森（编辑） 计算机辅助验证。2002年7月27日至31日在丹麦哥本哈根举行的第14届CAV国际会议。诉讼程序。 （英语） Zbl 0993.00049号 计算机科学课堂讲稿.2404。柏林：斯普林格。xiii，626页（2002年）。MSC公司：00时25分 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Brinksma}（编辑）和\textit{K.Guldstrand Larsen}（主编），计算机辅助验证。2002年7月27日至31日在丹麦哥本哈根举行的第14届国际会议，CAV 2002。诉讼程序。柏林：施普林格出版社（2002；Zbl 0993.00049） 全文： DOI程序
Larsen，Kim G。（编辑）;尼尔森，莫根斯（编辑） CONCUR 2001–并发理论。第十二届国际会议，丹麦奥尔堡，2001年8月20日至25日。诉讼程序。 （英语） Zbl 0971.00044号 计算机科学课堂讲稿2154.柏林：施普林格。xi，583页（2001年）。MSC公司：00时25分 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）和textit{M.Nielsen}（主编），CONCUR 2001——并发理论。第十二届国际会议，丹麦奥尔堡，2001年8月20日至25日。诉讼程序。柏林：施普林格（2001年；Zbl 0971.00044） 全文： DOI程序
Larsen，Kim G。（编辑）;斯文·斯库姆（编辑）;格林·温斯克尔（编辑） 自动机、语言和编程。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。 （英语） Zbl 0893.00039号 计算机科学课堂讲稿1443.柏林：施普林格。xvi，932页（1998年）。MSC公司：00时25分 68-06 03-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：施普林格（1998；Zbl 0893.00039） 全文： DOI程序
Larsen，Kim G。（编辑）;阿恩·斯科（编辑） 计算机辅助验证。1991年7月1日至4日，第三届国际研讨会，CAV’91，丹麦奥尔堡。诉讼程序。 （英语） Zbl 1518.68014号 计算机科学课堂讲稿575.柏林：施普林格出版社（ISBN 978-3-540-55179-9/pbk；978-3-540-46763-2/ebook）。x、 第487页。(1992).MSC公司：68-06 60年第68季度 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）和\textit{A.Skou}（编），计算机辅助验证。1991年7月1日至4日，第三届国际研讨会，CAV’91，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（1992；Zbl 1518.68014） 全文： DOI程序