萨加·查基;埃德蒙·克拉克;Jha,萨默什;赫尔穆特·维思 模拟一致性的迭代框架。 (英文) Zbl 1105.68351号 J.日志。计算。 15,第4期,465-488(2005).MSC公司:60年第68季度 68问题85 91A80 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,J.Log。计算。15,第4号,465--488(2005;Zbl 1105.68351) 全文: 内政部 链接
E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 两种有限状态并发系统验证方法的综合。 (英文) Zbl 0782.68078号 J.日志。计算。 2,第5期,605-618(1992).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,J.Log。计算。2,第5号,605--618(1992;Zbl 0782.68078) 全文: 内政部