法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 关于策略的推理:关于模型检查问题。 (英语) Zbl 1354.68178号 ACM事务处理。计算。日志。 第15号第4条第34条第47页(2014年).MSC公司:60年第68季度 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人,ACM Trans。计算。日志。15,第4号,第34条,47页(2014年;Zbl 1354.68178) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼;莫舍·瓦尔迪。 从线性时间到分支时间。 (英语) 兹比尔1367.68195 ACM事务处理。计算。日志。 6,第2期,273-294(2005).MSC公司:60年第68季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},ACM Trans。计算。日志。6,第2号,273--294(2005;Zbl 1367.68195) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。 弱交替自动机并没有那么弱。 (英语) Zbl 1171.68551号 ACM事务处理。计算。日志。 2,第3期,408-429(2001).MSC公司:60年第68季度 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},ACM Trans。计算。日志。2,第3号,408--429(2001;Zbl 1171.68551) 全文: 内政部 链接