Automatic verification of data-centric business processes
- Alin Deutsch
- Richard Hull
- et al.
- 2009
- ICDT 2009
Publications
Date
Featured collections
Popular topics
4 results for Victor Vianu
Automatic verification of database-centric systems
- Alin Deutsch
- Richard Hull
- et al.
- 2014
- SIGMOD Record
Incremental validation of XML documents
- Andrey Balmin
- Yannis Papakonstantinou
- et al.
- 2004
- ACM TODS
Computing with infinitary logic
- Serge Abiteboul
- Moshe Y. Vardi
- et al.
- 1995
- Theoretical Computer Science