Verificación de propiedades en Redes de Petri (bibtex)

by José-Manuel Colom

Reference:

Verificación de propiedades en Redes de Petri (José-Manuel Colom), Chapter in Sistemas Distribuidos: Modelos y Aplicaciones. XI Escuela de Verano de Informática. Albacete, 11 a 13 de julio de 2001 (Valentín Valero, ed.), Departamento de Informática Escuela Politécnica Superior de Albacete. Universidad de Castilla-La Mancha, 2001.

Bibtex Entry:

@InCollection{Colom2001a,
  author    = {Jos{\'e}-Manuel Colom},
  booktitle = {Sistemas {D}istribuidos: {M}odelos y {A}plicaciones. {XI} {E}scuela de {V}erano de {I}nform{\'a}tica. Albacete, 11 a 13 de julio de 2001},
  publisher = {Departamento de Inform{\'a}tica Escuela Polit{\'e}cnica Superior de Albacete. Universidad de Castilla-La Mancha},
  title     = {Verificaci{\'o}n de propiedades en {R}edes de {P}etri},
  year      = {2001},
  editor    = {Valent{\'{\i}}n Valero},
  isbn      = {D.L.: AB-292-2001},
  pages     = {99--114},
  groups    = {silarri:6},
  keywords  = {Petri Net Theory},
}