达姆,麦兹 CTL(^*\)和ECTL(^*\)作为模态演算的片段。 (英语) Zbl 0798.03018号 西奥。计算。科学。 126,第1期,77-96(1994).MSC公司:03B45号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Dam},Theor。计算。科学。126,编号1,77--96(1994;Zbl 0798.03018) 全文: 内政部
米什拉,B。;E.克拉克。 使用时序逻辑对异步电路进行分级验证。 (英语) Zbl 0584.94022号 西奥。计算。科学。 38, 269-291 (1985). 审核人:利沃夫斯基 MSC公司:94立方厘米10 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{B.Mishra}和\textit{E.Clarke},Theor。计算。科学。38、269--291(1985;Zbl 0584.94022) 全文: 内政部