Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri. Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. In Marcello La Rosa, Pnina Soffer, editors, Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers. Volume 132 of Lecture Notes in Business Information Processing, pages 513-518, Springer, 2012. [doi]
Abstract is missing.