Advancing verification of process mining models with quantitative model checking in stochastic environment
ITM Web Conf., 60 (2024) 00012
DOI: https://doi.org/10.1051/itmconf/20246000012
EDPS Account
