Formal Verification of Business Processes Represented as Role Activity Diagrams.

Amelia Badica, Costin Badica

Browse the full FedCSIS paper archive.