scientific article; zbMATH DE number 7544355

DOI10.4204/EPTCS.346MaRDI QIDQ5082016zbMATH OpenFDO

Authors

Publication date 19 June 2022

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

Full work available at URL http://eptcs.web.cse.unsw.edu.au/content.cgi?GandALF2021

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 13th International Symposium on Games, Automata, Logics and Formal Verification
• Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21--22, 2020
• Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015
• Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20--22, 2017
• Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10--12, 2014
• Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14--16, 2016
• Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29--31, 2013
• Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2--3, 2019
• Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26--28, 2018
• scientific article; zbMATH DE number 6904778

Cited in

(7)

• 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
• scientific article; zbMATH DE number 6904750 (Why is no real title available?)
• Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2--3, 2019
• 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

This page was built for publication:

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