Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴 形式化方法中的模拟关系和应用。 （英语） Zbl 1528.68188号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).MSC公司：65年第68季度 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272-291（2022年；兹比尔1528.68188） 全文： 内政部
魏、欧;阿里·古芬克尔;Chechik，玛莎 关于局部建模形式主义的一致性、表达性和准确性。 （英语） Zbl 1214.68226号 Inf.计算。 209，第1期，20-47（2011）.MSC公司：60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{O.Wei}等人，《信息计算》。209，第1号，第20--47号（2011；Zbl 1214.68226） 全文： 内政部
亚当·安东尼克;哈，迈克尔;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） 全文： 内政部