Download citation

Advancing verification of process mining models with quantitative model checking in stochastic environment

Fawad Ali Mangi, Guoxin Su and Minjie Zhang

ITM Web Conf., 60 (2024) 00012

DOI: https://doi.org/10.1051/itmconf/20246000012

Back to the article