王法恩 实时系统的参数定时分析。 （英语） Zbl 0872.68041号 Inf.计算。 130，第2期，131-150（1996）.MSC公司：2010年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}，Inf.计算。130，第2131-150号（1996年；Zbl 0872.68041） 全文： 内政部 链接
鲁克斯，奥利维尔;弗拉德·鲁苏 混合自动机可判定性的一致性。 （英语） Zbl 1482.68127号 Cousot，Radhia（编辑）等人，《静态分析》。第三届国际研讨会，SAS'96，德国亚琛，1996年9月24日至26日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1145, 301-316 (1996).MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Roux}和\textit{V.Rusu}，莱克特。注释计算。科学。1145301--316（1996年；Zbl 1482.68127） 全文： 内政部