伯恩哈德·斯特芬 数据流分析作为模型检查。 （英语） Zbl 1493.68123号 Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 346-364 (1991).MSC公司：68号30 03B45号 03B70型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Steffen}，莱克特。注释计算。科学。526346-364（1991年；Zbl 1493.68123） 全文： 内政部
科林·斯特林;大卫·沃克 模态微积分中的局部模型检验。 （英语） Zbl 0745.03027号 西奥。计算。科学。 89，第1期，161-177（1991）. 审核人：A.Kreczmar（华沙） MSC公司：03B70型 68问题55 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Stirling}和\textit{D.Walker}，Theor。计算。科学。89，第1号，161--177（1991；Zbl 0745.03027） 全文： 内政部
格林·温斯克尔 关于模型检查模态演算的注释。 （英语） Zbl 0745.68083号 西奥。计算。科学。 83，第1期，157-167（1991）.MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Winskel}，Theor。计算。科学。83，第1号，157--167（1991；Zbl 0745.68083） 全文： 内政部