Larsen,Kim G。;克里斯蒂安·席林;吉·斯尔巴 形式化方法中的模拟关系和应用。 (英语) Zbl 1528.68188号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660/2721(2022年)。MSC公司:第68季度第45季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。13660272--291(2022年;Zbl 1528.68188) 全文: 内政部
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 (英语) Zbl 1309.68130号 学报信息。 52,编号2-3,269-297(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Acta Inf.52,No.2--3,269--297(2015;Zbl 1309.68130) 全文: 内政部 链接
塞巴斯蒂安·鲍尔。;乌里·法伦贝格;Juhl,Line公司;Larsen,Kim G。;Legay、Axel;克劳斯·苏兰 加权模态转换系统。 (英语) Zbl 1291.68246号 形式方法系统。设计。 42,第2期,193-220(2013).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,《形式方法系统》。设计。42,第2号,193--220(2013;Zbl 1291.68246) 全文: 内政部 arXiv公司 哈尔
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 (英语) Zbl 1296.68092号 Inf.计算。 232, 66-116 (2013).MSC公司:第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,《信息计算》。232、66-116(2013年;Zbl 1296.68092) 全文: 内政部
塞巴斯蒂安·鲍尔。;Juhl,Line公司;Larsen,Kim G。;Legay、Axel;吉·斯尔巴 使用结构化标签扩展模态转换系统。 (英语) Zbl 1277.68160号 数学。结构。计算。科学。 第4号第22页,第581-617页(2012年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,数学。结构。计算。科学。22,第4号,581--617(2012;Zbl 1277.68160) 全文: 内政部
Juhl,Line公司;Larsen,Kim G。;吉·斯尔巴 具有重量间隔的模态转换系统。 (英语) Zbl 1243.68215号 J.日志。阿尔盖布。程序。 81,第4期,408-421(2012).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Juhl}等人,J.Log。阿尔盖布。程序。81,第4号,408--421(2012;Zbl 1243.68215) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 区间马尔可夫链的一致性和精化。 (英语) Zbl 1247.68195号 J.日志。阿尔盖布。程序。 81,第3期,209-226(2012).MSC公司:87年第68季度 2017年第68季度 60J10型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。阿尔盖布。程序。81、3号、209--226(2012;Zbl 1247.68195) 全文: 内政部
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 (英语) Zbl 1317.68095号 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,324-339(2011)。MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,Lect。注释计算。科学。6538,324--339(2011;Zbl 1317.68095) 全文: 内政部
亚当·安东尼克;哈,迈克尔;Larsen,Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 模态和混合规范:关键决策问题及其复杂性。 (英语) Zbl 1191.68426号 数学。结构。计算。科学。 20,第1期,75-103(2010).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人,《数学》。结构。计算。科学。20,第1号,75--103(2010;Zbl 1191.68426) 全文: 内政部