库尔山，R.P。 验证的复杂性。 （英语） Zbl 1345.68220号 第26届ACM计算理论年度研讨会论文集，STOC'94，加拿大蒙特利尔，1994年5月23日至25日。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-663-8）。365-371 (1994). 有关整个系列，请参见[Zbl 1301.68008号]. 引用于8文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 算法和问题复杂性分析 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Kurshan}，摘自：1994年5月23日至25日加拿大蒙特利尔STOC’94第26届ACM计算理论年会论文集。纽约州纽约市：计算机协会（ACM）。365-371（1994年；Zbl 1345.68220） 全文： 内政部