Vol-2953⫷ Vol-2954 ⫸Vol-2955
urn:nbn:de:0074-2954-0


Vol-2954/paper-8⫷Vol-2954/paper-9⫸Vol-2954/paper-10
Diego CalvaneseAlessandro GianolaAndrea MazzulloMarco Montali

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)