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

Sylvain Hallé et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics