安托尼奥·拉瓦拉(编辑);乔塞普·席尔瓦(编辑) JLAMP网络系统自动化规范和验证专刊编辑。 (英语) Zbl 1314.00114号 J.日志。阿尔盖布。方法计划。 84,编号:483-484(2015).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Ravara}(编辑)和\textit{J.Silva}。阿尔盖布。方法计划。84,第4号,483--484(2015;Zbl 1314.00114) 全文: 内政部
劳拉·科瓦奇(编辑);罗萨里奥·普格利泽(编辑);乔塞普·席尔瓦(编辑);弗朗西斯科·蒂埃齐(编辑) 关于网络系统的自动化规范和验证的特刊。 (英语) Zbl 1298.00311号 J.日志。阿尔盖布。程序。 82,编号82024-242(2013).MSC公司:00B25型 68-06 68英里11 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}(编辑)等人,J.Log。阿尔盖布。程序。82,第8号,241--242(2013;Zbl 1298.00311) 全文: 内政部