Publications

Automatic verification of data-centric business processes

• • Alin Deutsch
  • Richard Hull
  • et al.
• 2009
• ICDT 2009