Games, automata, logics and formal verification (GandALF 2014) -- Preface

DOI10.1016/J.IC.2016.07.005zbMATH Open1360.00133OpenAlexW2482143101MaRDI QIDQ515652FDOQ515652

Authors:

Publication date: 16 March 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11390/1096381

Recommendations

• Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10--12, 2014
• Preface: Games, automata, logics and formal verification (GandALF 2016)
• Preface
• Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015
• Preface

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) Proceedings, conferences, collections, etc. pertaining to game theory, economics, and finance (91-06)

Cited In (3)

• Games, automata, logics, and formal verification (GandALF 2013)
• Preface: Games, automata, logics and formal verification (GandALF 2016)
• Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10--12, 2014

This page was built for publication: Games, automata, logics and formal verification (GandALF 2014) -- Preface

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