abs-1106-0814'

@proceedings{DBLP:journals/corr/abs-1106-0814,
  editor    = {Giovanna D'Agostino and
               Salvatore {La Torre}},
  title     = {Proceedings of Second International Symposium on Games,
               Automata, Logics and Formal Verification},
  booktitle = {GandALF},
  series    = {EPTCS},
  volume    = {54},
  year      = {2011},
  ee        = {http://dx.doi.org/10.4204/EPTCS.54},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}