Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014

Peron Adriano, Carla Piazza
2014-01-01
Cite URL
Publication
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

Related