Probabilistic Model Checking of BPMN Processes at Runtime.

Ylis Falcone, Gwen Salan, Ahang Zuo

Browse the full IFM paper archive.