TY  - RPRT
TI  - Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
AU  - Adriano Peron
AU  - Carla Piazza
PY  - 2014
DO  - 10.4204/eptcs.161
UR  - https://arxiv.org/abs/1408.5560
ID  - 1408.5560
ER  -