Jan Friso，格鲁特（编辑）;金·古德斯特兰·拉森（编辑） 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 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 00B25型 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） 全文： 内政部
Jan Friso，格鲁特（编辑）;金·古德斯特兰·拉森（编辑） 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 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 00B25型 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） 全文： 内政部
蒂齐亚娜·玛格丽亚（编辑）;苏珊娜·格拉芙（编辑）;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） 全文： 内政部
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 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）等人，《可靠的软件工程。理论、工具和应用》。第三届国际研讨会，2017年10月23日至25日，中国长沙，SETTA 2017。诉讼程序。查姆：施普林格（2017；Zbl 1398.68033） 全文： 内政部
金·古德斯特兰·拉森（编辑）;伊戈尔·波塔波夫（编辑）;吉·斯尔巴（编辑） 可达性问题。第十届国际研讨会，RP 2016，丹麦奥尔堡，2016年9月19日至21日。诉讼程序。 （英语） Zbl 1371.68012号 计算机科学课堂讲稿9899.查姆：施普林格（ISBN 978-3-319-45993-6/pbk；978-3-3169-45994-3/电子书）。xiv，193页。(2016).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）等人，《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆：斯普林格（2016；Zbl 1371.68012） 全文： 内政部
迪帕克·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季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛D.D’Souza｝（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12-14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：施普林格出版社（2015；Zbl 1303.68013） 全文： 内政部
Larsen，Kim G。（编辑）;彼得·尼伯特（编辑） 时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。 （英语） Zbl 1048.68006号 计算机科学课堂讲稿2791.柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。viii，第281页。(2004).MSC公司：68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）和textit{P.Niebert}（主编），时间系统的形式化建模和分析。第一次国际研讨会，FORMATS 2003，法国马赛，2003年9月6日至7日。修订论文。柏林：施普林格出版社（2004；Zbl 1048.68006） 全文： 内政部
埃德·布林克斯马（编辑）;金·古德斯特兰·拉森（编辑） 计算机辅助验证。2002年7月27日至31日在丹麦哥本哈根举行的第14届CAV国际会议。诉讼程序。 （英语） Zbl 0993.00049号 计算机科学课堂讲稿. 2404. 柏林：斯普林格。xiii，626页（2002年）。MSC公司：00B25型 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） 全文： 内政部
Larsen，Kim G。（编辑）;尼尔森，莫根斯（编辑） CONCUR 2001–并发理论。第十二届国际会议，丹麦奥尔堡，2001年8月20日至25日。诉讼程序。 （英语） Zbl 0971.00044号 计算机科学课堂讲稿2154.柏林：施普林格。xi，583页（2001年）。MSC公司：00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）和textit{M.Nielsen}（主编），CONCUR 2001——并发理论。第12届国际会议，2001年8月20-25日，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（2001；Zbl 0971.00044） 全文： 内政部
Larsen，Kim G。（编辑）;斯文·斯库姆（编辑）;温克尔，格林（编辑） 自动化、语言和编程。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。 （英语） Zbl 0893.00039号 计算机科学课堂讲稿1443.柏林：施普林格。xvi，932页（1998年）。MSC公司：00B25型 68-06 03-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛K.G.Larsen｝（编辑）等人，自动机，语言和编程。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：施普林格（1998；Zbl 0893.00039） 全文： 内政部
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季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}（编辑）和\textit{A.Skou}（编），计算机辅助验证。第三次国际研讨会，CAV’91，丹麦奥尔堡，1991年7月1日至4日。诉讼程序。柏林：施普林格出版社（1992；Zbl 1518.68014） 全文： 内政部