DBLP BibTeX Record 'journals/corr/abs-1202-5826'

@proceedings{DBLP:journals/corr/abs-1202-5826,
  editor    = {Alexander K. Petrenko and
               Holger Schlingloff},
  title     = {Proceedings 7th Workshop on Model-Based Testing},
  booktitle = {MBT},
  series    = {EPTCS},
  volume    = {80},
  year      = {2012},
  ee        = {http://dx.doi.org/10.4204/EPTCS.80},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}