Checking Business Process Correctness in Apromore.

Fabrizio Fornari, Marcello La Rosa, Andrea Polini, Barbara Re, Francesco Tiezzi

Browse the full CaiSE paper archive.