Model Checking Data-Aware Workflow Properties with CTL-FO+.

Sylvain Hall, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour

Browse the full EDOC paper archive.