R·德·尼古拉。;Fanteci,A。;格内西,S。;G.里斯托里。 一种基于操作的框架,用于验证并发系统的逻辑和行为属性。 (英语) Zbl 0789.68096号 计算。网络ISDN系统。 25,第7期,761-778(1993).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,计算。网络ISDN系统。25,第7号,761--778(1993;Zbl 0789.68096) 全文: 内政部
科林·韦斯特。 协议验证.原理和应用。 (英语) 兹比尔0762.68011 计算。网络ISDN系统。 24,第3期,219-242(1992).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{C.H.West},计算。网络ISDN系统。24,第3号,219--242(1992;Zbl 0762.68011) 全文: 内政部
莱因哈德·戈兹因 交互点的形式化定义和表示。 (英语) Zbl 0789.68093号 计算。网络ISDN系统。 25,第1期,3-22(1992).MSC公司:60年第68季度 68M99型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Gotzhein},计算。网络ISDN系统。25,第1号,第3--22号(1992;Zbl 0789.68093) 全文: 内政部