Vol-3215⫷ Vol-3216 ⫸Vol-3217
urn:nbn:de:0074-3216-0


Vol-3216/paper_131⫷Vol-3216/paper_133⫸Vol-3216/paper_179

SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications