Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10--12, 2014
DOI10.4204/EPTCS.161zbMATH Open1435.68038arXiv1408.5560MaRDI QIDQ5221792FDOQ5221792
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
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
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)
Cited In (12)
- Proceedings of the 14th international conference on automata and formal languages, AFL'14, Szeged, Hungary, May 27--29, 2014
- Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
- Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015
- 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 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)
