托马斯·匈奴;Larsen,Kim G。;保罗·佩特森 使用UPPAAL指导合成控制程序。 (英语) Zbl 0978.68021号 Nord.J.计算。 8,第1号,43-64(2001).MSC公司:68平方米 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{T.Hune}等人,Nord.J.计算。8,编号1,43--64(2001;Zbl 0978.68021)
Larsen,Kim G。;贾斯汀·皮尔逊;卡斯滕·韦斯;易、王 时钟差异图。 (英语) Zbl 0937.68086号 Nord.J.计算。 6,第3期,271-298(1999).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,《北方计算机》。6,第3号,271--298(1999;Zbl 0937.68086)
克劳斯·哈维隆德;金·古德斯特兰·拉森 fork演算。 (英语) Zbl 0817.68101号 Nord.J.计算。 1,第3期,346-363(1994).MSC公司:60年第68季度 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{K.G.Larsen},Nord.J.Compute。1,第3号,346--363(1994;Zbl 0817.68101)