Larsen，Kim G。;保罗·佩特森;易、王 实时系统的模型检查。 （英语） Zbl 1507.68193号 Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965, 62-88 (1995).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。965、62-88（1995年；Zbl 1507.68193） 全文： 内政部 哈尔
安徒生，约根·H·。;Kristoffersen，Káre J。;Larsen，Kim G。;杰斯珀·尼德曼 实时系统的自动合成。 （英语） Zbl 1412.68136号 Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，第22届国际学术讨论会，ICALP’95，匈牙利塞格德。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 535-546 (1995).MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Andersen}等人，Lect。注释计算。科学。944535-546（1995年；Zbl 1412.68136） 全文： 内政部
弗朗索瓦·拉鲁西尼;Larsen，Kim G。;卡斯滕·韦斯 从时间自动机到逻辑，再到逻辑。 （英语） Zbl 1193.03069号 Wiedermann，Jiří（编辑）等人，《计算机科学的数学基础》，1995年。1995年8月28日至9月1日，第20届国际研讨会，MFCS’95，捷克共和国布拉格。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-60246-1）。莱克特。注释计算。科学。969, 529-539 (1995).MSC公司：05年3月 03B25号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人，Lect。注释计算。科学。969529-539（1995年；Zbl 1193.03069） 全文： 内政部
Jens Chr.Godskesen。;Larsen，Kim G。 实时系统的综合判别公式——扩展抽象。 （英语） Zbl 1193.68162号 Wiedermann，Jiří（编辑）等人，《计算机科学的数学基础》，1995年。1995年8月28日至9月1日，第20届国际研讨会，MFCS’95，捷克共和国布拉格。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-60246-1）。莱克特。注释计算。科学。第969519-528页（1995年）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Chr.Godskesen}和\textit{K.G.Larsen}，莱克特。注释计算。科学。969519-528（1995年；Zbl 1193.68162） 全文： 内政部