Model Checking of Workflow Schemas.

Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater

Browse the full EDOC paper archive.