[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - An ECLIPSE Plug-In for Formal Verification of BPMN Processes
Flavio, Corradini, Alberto, Polzonetti, Barbara, Re, Damiano, FalcioniYear:
2010
Language:
english
DOI:
10.1109/CTRQ.2010.32
File:
PDF, 341 KB
english, 2010