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 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) 全文: 内政部 OA许可证
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 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) 全文: 内政部 OA许可证
蒂齐亚娜·玛格丽亚(编辑);苏珊娜·格拉芙(编辑);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。(编辑);吉·斯尔巴(编辑) 第28届北欧规划理论研讨会论文选集(NWPT’16)。 (英语) Zbl 1431.68008号 J.日志。阿尔盖布。方法计划。 107, 177-178 (2019).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)和textit{J.Srba}(主编),J.Log。阿尔盖布。方法计划。107、177--178(2019年;Zbl 1431.68008) 全文: 内政部
Larsen,Kim G。(编辑);伊戈尔·波塔波夫(编辑);吉·斯尔巴(编辑) 前言。可达性问题:特殊问题。 (英语) Zbl 1405.00053号 西奥。计算。科学。 750,第1页(2018年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)等人,Theor。计算。科学。750,1页(2018;Zbl 1405.00053) 全文: 内政部
曼弗雷德·德罗斯特(编辑);Larsen,Kim G。(编辑) 序言:献给佐尔坦·艾西克(1951年至2016年)的记忆。 (英语) Zbl 1398.00094号 软计算。 22,第4号,1033(2018).MSC公司:00B25型 68-06 第68季度第45季度 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}(编辑)和\textit{K.G.Larsen}(主编),软计算。22,第4号,1033(2018;Zbl 1398.00094) 全文: 内政部
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) 全文: 内政部
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 00B25型 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) 全文: 内政部 链接
拉森,金·古尔德斯特朗(编辑);伊戈尔·波塔波夫(编辑);吉·斯尔巴(编辑) 可达性问题。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。 (英语) 兹比尔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(编辑);阿卡什·拉尔(编辑);金·古德斯特兰·拉森(编辑) 验证、模型检查和抽象解释。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。 (英语) 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}(编辑),定时系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林:施普林格出版社(2004;Zbl 1048.68006) 全文: 内政部
沃尔特·福格勒(编辑);金·拉森(编辑) 02年MTCS。第三届时间临界系统模型国际研讨会会议记录(CONCUR 2002卫星研讨会),捷克共和国布尔诺,2002年8月24日。 (英语) Zbl 1270.68035号 理论计算机科学电子笔记第68页,第5页。阿姆斯特丹:爱思唯尔。1-136,仅电子版(2003年)。MSC公司:68-06 60年第68季度 68问题85 00B25型 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公司: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–并发理论。第12届国际会议,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——并发理论。第十二届国际会议,丹麦奥尔堡,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 2006年3月 第68季度第45季度 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,丹麦奥尔堡。诉讼程序。 (英语) 兹比尔1518.68014 计算机科学课堂讲稿575.柏林:施普林格出版社(ISBN 978-3-540-55179-9/pbk;978-3-540-46763-2/电子书)。x、 第487页。(1992年)。MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)和\textit{A.Skou}(编),计算机辅助验证。1991年7月1日至4日,第三届国际研讨会,CAV’91,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(1992;Zbl 1518.68014) 全文: 内政部