亚历杭德罗·桑切斯;塞萨尔·桑切斯 参数化验证图:对称参数化并发系统的时间验证。 (英语) Zbl 1419.68064号 安。数学。Artif公司。智力。 80,编号3-4,249-282(2017).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sánchez}和\textit{C.Sátchez}.安.数学。Artif公司。智力。80,编号3--4,249--282(2017;Zbl 1419.68064) 全文: 内政部
Michael Leuschel先生;蒂埃里·马萨特 通过对称标记对B和Z模型进行有效的近似验证。 (英语) Zbl 1209.68127号 安。数学。Artif公司。智力。 59,第1期,81-106(2010).MSC公司:68号30 60年第68季度 68兰特 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}和\textit{T.Massart},安·数学。Artif公司。智力。59,第1号,81--106(2010;Zbl 1209.68127) 全文: 内政部