Login / Signup

Soundness of Data-Aware Processes with Arithmetic Conditions.

Paolo FelliMarco MontaliSarah Winkler
Published in: CAiSE (2022)
Keyphrases