拉杰夫·阿鲁尔;艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎 模型检查程序程序。 (英语) Zbl 1392.68226号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。541-572 (2018).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,in:模型检查手册。查姆:斯普林格。541--572(2018;Zbl 1392.68226) 全文: 内政部 链接
哈维尔·埃斯帕尔扎;安东·库切拉;斯特凡·施温 模型检查LTL,定期评估下推系统。 (英语) Zbl 1078.68081号 Inf.计算。 186,第2期,355-376(2003).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,信息计算。186,编号2,355--376(2003;Zbl 1078.68081) 全文: 内政部