Add Data into Business Process Verification: Bridging the Gap between Theory and Practice.

Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris

Browse the full AAAI paper archive.