Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10--12, 2014

DOI10.4204/EPTCS.161MaRDI QIDQ5221792zbMATH OpenFDO

Authors

Publication date 3 April 2020

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1408.5560, http://eptcs.web.cse.unsw.edu.au/content.cgi?GandALF2014

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015
• Games, automata, logics and formal verification (GandALF 2014) -- Preface
• Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14--16, 2016
• Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20--22, 2017
• Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26--28, 2018

Cited in

(12)

• Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
• Proceedings of the 14th international conference on automata and formal languages, AFL'14, Szeged, Hungary, May 27--29, 2014
• Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
• scientific article; zbMATH DE number 6904750 (Why is no real title available?)
• scientific article; zbMATH DE number 7544355 (Why is no real title available?)
• Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26--28, 2018
• Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20--22, 2017
• Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015
• Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21--22, 2020
• Special issue: Games, Automata, logic, and formal verification (GandALF 2010). Selected papers based on the presentations at the 1st symposium, Minori, Itay, June 17--18, 2010
• Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14--16, 2016
• Games, automata, logics and formal verification (GandALF 2014) -- Preface

This page was built for publication: Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10--12, 2014

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221792)