12 citations · 18 across the 5 of their papers we have counts for
1 paper · 1 filter
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to ite…