External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Tool for the Verification of Data-Aware Business Processes

Luca Sabiucciu, Marco Montali, Sergio Tessaris. A Tool for the Verification of Data-Aware Business Processes. In Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso, editors, AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings. Volume 11298 of Lecture Notes in Computer Science, pages 266-276, Springer, 2018. [doi]

Authors

Luca Sabiucciu

This author has not been identified. Look up 'Luca Sabiucciu' in Google

Marco Montali

This author has not been identified. Look up 'Marco Montali' in Google

Sergio Tessaris

This author has not been identified. Look up 'Sergio Tessaris' in Google
runs on