西斯特拉,A.P。 证明非确定性安全规范的正确性。 (英语) Zbl 0735.68028号 信息处理。莱特。 39,第1号,45-49(1991).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla},Inf.过程。莱特。39,编号1,45-49(1991;Zbl 0735.68028) 全文: 内政部
西斯特拉,A.P。 验证并发程序是否满足非确定性规范。 (英语) Zbl 0677.68011号 信息处理。莱特。 32,第1期,17-23(1989).MSC公司:60年第68季度 68号01 65年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla},Inf.过程。莱特。32,编号1,17-23(1989年;Zbl 0677.68011) 全文: 内政部