亚历杭德罗·桑切斯;塞萨尔·桑切斯 参数化验证图:对称参数化并发系统的时间验证。 (英语) 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) 全文: 内政部
亚历山德罗·阿塔尔;恩里科·弗兰科尼 描述逻辑的时间扩展综述。 (英语) Zbl 0998.03013号 安。数学。Artif公司。智力。 30,编号1-4171-210(2000).MSC公司:03B44号 第68页第27页 03B60号 68-02 03-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}和\textit{E.Franconi},安.数学。Artif公司。智力。30,编号1--4,171-210(2000;Zbl 0998.03013) 全文: 内政部