尤尼特·凯斯滕;阿米尔·普努利 CTL(^*\)验证的组合方法。 (英语) 兹比尔1079.68059 西奥。计算。科学。 331,编号2-3397-428(2005).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}和\textit{A.Pnueli},Theor。计算。科学。331,编号2--3397--428(2005;Zbl 1079.68059) 全文: DOI程序
佐哈尔·曼纳;阿米尔·普努利 完成时间画面。 (英语) 兹伯利0795.68133 西奥。计算。科学。 83,第1期,97-130(1991).MSC公司:60年第68季度 2010年第68季度 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},Theor。计算。科学。83,第1号,97--130(1991;Zbl 0795.68133) 全文: DOI程序