A Technique To Verify Behavioral Properties In Semantically Annotated Business Processes
- Ezpeleta, Joaquín
- Ibáñez Sáenz López, María José
- Álvarez, Pedro
Libro:
THIRD IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING
ISBN: 978-0-7695-3800-6
Año de publicación: 2009
Tipo: Capítulo de Libro