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

Proceedings of the AAAI Conference on Artificial Intelligence (2017) - Comments
doi: 10.1609/aaai.v31i1.10688 issn: 2374-3468 issn: 2159-5399

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