Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement.
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Andrea Vandin
VenueABPM
Year2022
ProceedingsBusiness Process Management Workshops
DBLP recordconf/bpm/CasaluceBCV22 ↗
Browse the full BPM paper archive.