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年；Zbl 1528.68188） 全文： 内政部
巴顿，J.C.M。;范·比克，D.A。;Cuijpers，P.J.L.公司。;Reniers，医学硕士。;罗达，J.E。;R.R.H.希弗勒。;托尼森，R.J.M。 基于模型的嵌入式系统工程使用混合进程代数Chi。 （英语） 兹比尔1279.68245 Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209，21-53（2008）。MSC公司：68问题85 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人，《电子》。注释Theor。计算。科学。209、21-53（2008年；Zbl 1279.68245） 全文： 内政部
范·比克，D.A。;罗达，J.E。;R.R.H.希弗勒。;曼，K.L。;Reniers，医学硕士。 将混合气与其他形式主义联系起来。 （英语） Zbl 1277.68149号 Romijn，Judi（编辑）等人，第五届综合正式方法会议（IFM 2005）附属博士研讨会论文集，荷兰埃因霍温，2005年11月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记191，85-113（2007）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.van Beek}等人，《电子》。注释Theor。计算。科学。191、85-113（2007年；Zbl 1277.68149） 全文： 内政部
Larsen，Kim G。;B.斯特芬。;魏斯，C。 实时和混合系统的连续建模：从概念到工具。 （英语） Zbl 1060.68604号 国际期刊软件。技术工具。Transf公司。第1卷，第1-2期，第64-85页（1997年）。MSC公司：65年第68季度 60年第68季度 93A30型 PDF格式BibTeX公司 XML格式 全文： 内政部