abs-1010-6112'

@proceedings{DBLP:journals/corr/abs-1010-6112,
  editor    = {Yu-Fang Chen and
               Ahmed Rezine},
  title     = {Proceedings 12th International Workshop on Verification
               of Infinite-State Systems},
  booktitle = {INFINITY},
  series    = {EPTCS},
  volume    = {39},
  year      = {2010},
  ee        = {http://dx.doi.org/10.4204/EPTCS.39},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}