Vol-3310⫷ Vol-3311 ⫸Vol-3312
urn:nbn:de:0074-3311-0


Vol-3311/paper13⫷Vol-3311/paper14⫸Vol-3311/paper15
Paolo FelliAlessandro GianolaMarco MontaliAndrey RivkinSarah Winkler

A Modular SMT-based Approach for Data-aware Conformance Checking