Verification of Agent-Based Artifact Systems

Open in new window