@inproceedings{DBLP:conf/models/LaraG09,
  author    = {Juan de Lara and Esther Guerra},
  title     = {Formal Support for QVT-Relations with Coloured Petri Nets},
  booktitle = {MoDELS},
  year      = {2009},
  pages     = {256-270},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04425-0_19},
  crossref  = {DBLP:conf/models/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/models/2009,
  editor    = {Andy Sch{\"u}rr and Bran Selic},
  title     = {Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Proceedings},
  booktitle = {MoDELS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5795},
  year      = {2009},
  isbn      = {978-3-642-04424-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-04425-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}