Automatic verification of data-centric business processes.

Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu

Browse the full ICDT paper archive.