TY  - RPRT
TI  - Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
AU  - Giovanna D'Agostino
AU  - Salvatore La Torre
PY  - 2011
DO  - 10.4204/eptcs.54
UR  - https://arxiv.org/abs/1106.0814
ID  - 1106.0814
ER  -