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
Buch:
THIRD IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING
ISBN: 978-0-7695-3800-6
Datum der Publikation: 2009
Art: Buch-Kapitel