伊莎贝拉·马斯特罗埃尼;罗伯托·贾科巴齐 基于抽象解释的安全语义模型。 (英语) Zbl 1215.68125号 国际期刊计算。数学。 88,第4期,665-694(2011).MSC公司:68问题55 60年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{R.Giacobazzi},国际计算机杂志。数学。88,第4号,665--694(2011;Zbl 1215.68125) 全文: 内政部
普拉萨德·西斯特拉。 时间逻辑中的安全、生动和公平。 (英语) Zbl 0820.68077号 正式Asp。计算。 第6期,第5期,第495-511页(1994年).MSC公司:60年第68季度 第68季度10 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Prasad Sistla},正式Asp。计算。6,第5号,495--511(1994;Zbl 0820.68077) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。 越早越好。 (英语) Zbl 0753.68041号 信息处理。莱特。 第3期第43页,第135-141页(1992年).MSC公司:第68季度10 68米15 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger},Inf.过程。莱特。43,编号3,135-141(1992年;兹bl 0753.68041) 全文: 内政部
阿尔卑斯山,博文;弗雷德·施耐德。 认识到安全和活力。 (英语) Zbl 0641.68039号 分布计算。 2, 117-126 (1987).MSC公司:68N25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}和\textit{F.B.Schneider},分布式计算。2、117--126(1987年;Zbl 0641.68039) 全文: 内政部