ITM Web of Conferences

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

Published online: 09 January 2024

DOI: 10.1051/itmconf/20246000012

Fawad Ali Mangi

Guoxin Su

Minjie Zhang

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)