Automated analysis of industrial workflow-based models.

Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salan

Browse the full SAC paper archive.