Esparza, Javier (ed.); Tronci, Enrico (ed.) Preface for the special issue GandALF 2015. (English) Zbl 1384.00106 Acta Inf. 55, No. 2, 89-90 (2018). MSC: 00B25 68-06 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{J. Esparza} (ed.) and \textit{E. Tronci} (ed.), Acta Inf. 55, No. 2, 89--90 (2018; Zbl 1384.00106) Full Text: DOI
Esparza, Javier (ed.); Tronci, Enrico (ed.) Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21–22, 2015. (English) Zbl 1435.68028 Electronic Proceedings in Theoretical Computer Science (EPTCS) 193. Waterloo: Open Publishing Association (OPA). 185 p., electronic only, open access (2015). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDFBibTeX XMLCite \textit{J. Esparza} (ed.) and \textit{E. Tronci} (ed.), Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015. Waterloo: Open Publishing Association (OPA) (2015; Zbl 1435.68028) Full Text: DOI arXiv Link