@inproceedings{DBLP:conf/jisbd/GuerraL03,
  author    = {Esther Guerra and Juan de Lara},
  title     = {A Framework for the Verification of UML Models. Examples Using Petri Nets},
  booktitle = {JISBD},
  year      = {2003},
  pages     = {325-334},
  crossref  = {DBLP:conf/jisbd/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jisbd/2003,
  editor    = {Ernesto Pimentel and Nieves R. Brisaboa and Jaime G\'omez},
  title     = {VIII Jornadas Ingenier\'ia del Software y Bases de Datos (JISBD 2003)},
  booktitle = {JISBD},
  year      = {2003},
  isbn      = {84-688-3836-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}