14 citations · 31 across the 13 of their papers we have counts for
1 paper · 2 filters
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…