Fabio Patrizi
Author Details
- Affiliation: Sapienza Universita' di Roma, Italy
- Email: fabio.patrizi@dis.uniroma1.it
ICDT Contributions by Fabio Patrizi
- Automatic Verification of Data-Centric Business Processes
Alin Deutsch, Richard Hull, Fabio Patrizi, and Victor Vianu