scientific article; zbMATH DE number 7544355

DOI10.4204/EPTCS.346zbMATH Open1489.68014MaRDI QIDQ5082016FDOQ5082016

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

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• 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)