科斯塔斯库尔库贝蒂斯；米哈利斯·亚纳卡基斯 概率验证的复杂性。 （英语） Zbl 0885.68109号 J.助理计算。机器。 42，第4期，857-907（1995）. 引用于116文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：并行概率程序；线性时间-时间逻辑 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis}，J.协会计算。机器。42，第4号，857--907（1995；Zbl 0885.68109） 全文： 内政部