20 citations · 26 across the 4 of their papers we have counts for
1 paper · 1 filter
Sander J. J. Leemans
Process models are used by human analysts to model and analyse behaviour, and by machines to verify properties such as soundness, liveness or other reachability properties, and to…