贝尔曼，G。；拉森，K.G。；皮尔逊，J。；魏斯，C。；Yi，W。 使用时钟差图进行高效的定时可达性分析。 （英语） Zbl 1046.68577号 Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。票据计算。科学。1633, 341-353 (1999).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人，Lect。票据计算。科学。1633、341--353（1999；Zbl 1046.68577）
Larsen，Kim G。；贾斯汀·皮尔逊；卡斯滕·韦斯；易、王 时钟差异图。 （英语） Zbl 0937.68086号 Nord.J.计算。 6，第3期，271-298（1999）。MSC公司：第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Nord.J.计算。6，第3号，271--298（1999；Zbl 0937.68086）