DBLP BibTeX Record 'journals/corr/abs-1006-1711'

@proceedings{DBLP:journals/corr/abs-1006-1711,
  editor    = {Angelo Montanari and
               Margherita Napoli and
               Mimmo Parente},
  title     = {Proceedings First Symposium on Games, Automata, Logic, and
               Formal Verification},
  booktitle = {GANDALF},
  series    = {EPTCS},
  volume    = {25},
  year      = {2010},
  ee        = {http://dx.doi.org/10.4204/EPTCS.25},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}