Login / Signup

Data-aware conformance checking with SMT.

Paolo FelliAlessandro GianolaMarco MontaliAndrey RivkinSarah Winkler
Published in: Inf. Syst. (2023)
Keyphrases