伊利亚卡斯特拉尼(编辑);穆罕默德·雷扎·穆萨维(编辑) 前言:并发理论趋势专刊(2014年和2015年趋势研讨会特邀稿)。 (英语) Zbl 1358.00123号 J.日志。阿尔盖布。方法计划。 87, 93 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}(编辑)和textit{M.R.Mousavi}(主编),J.Log。阿尔盖布。方法计划。87、93(2017;Zbl 1358.00123) 全文: 内政部
莫里斯·比克。(编辑);阿尔贝托·卢什·拉富恩特(编辑) 基于web的应用程序的自动化规范和验证。 (英语) Zbl 1358.00137号 J.日志。阿尔盖布。方法计划。 87, 51 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}(编辑)和\textit{A.Lluch Lafuente}(主编),J.Log。阿尔盖布。方法计划。87、51(2017;Zbl 1358.00137) 全文: 内政部
卢卡·埃特罗(编辑);安娜·英格尔夫斯多蒂(编辑) 第27届北欧编程理论研讨会序言(NWPT 2015)。 (英语) 兹比尔1358.00120 J.日志。阿尔盖布。方法计划。 87, 5 (2017).MSC公司:00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto(编辑)和textit{A.Ingolfsdottir}(编辑),J.Log。阿尔盖布。方法计划。87,5(2017;Zbl 1358.00120) 全文: 内政部