190 research outputs found
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification
No full textThis volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification, The symposium took place in Borca di Cadore (Belluno, Italy), from 29th to 31st of August, 2013. Gabriele Puppis and Tiziano Villa are the editors
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification
No full textThis volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification, The symposium took place in Borca di Cadore (Belluno, Italy), from 29th to 31st of August, 2013.
Gabriele Puppis and Tiziano Villa are the editors
Information and Computation, Special Issue "Games, Automata, Logics, and Formal Verificatin (GandALF 2013)"
No full textPapers selected and expanded from GandAlf 2013 Games, Automata. Logics and Formal Verification (with Preface)
- …
