Regorous: a business process compliance checker.

Guido Governatori, Sidney Shek

Browse the full ICAIL paper archive.