A formalization proposal of timed BPMN for Compositional Verification of Business Processes

  1. MendozaMorales, L.E.
  2. Capel Tuñón, M.I.
  3. Pérez, M.A.
Colección de libros:
Lecture Notes in Business Information Processing

ISSN: 1865-1348

ISBN: 9783642198014

Año de publicación: 2011

Volumen: 73 LNBIP

Páginas: 388-403

Tipo: Aportación congreso

DOI: 10.1007/978-3-642-19802-1_27 GOOGLE SCHOLAR
Fuente de los datos: Scopus