Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2108.12330
Cited By
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
27 August 2021
Diego Calvanese
Alessandro Gianola
Andrea Mazzullo
Marco Montali
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)"
Title
No papers