A

Towards Enhanced Verification in Process Mining: A Ctmc-Based Probabilistic Model Checking Approach

SSRN Electronic Journal

Authors 0

  1. Author list not loaded yet.

Cited by 0 stored of 0

References 5

5 results