https://hal.archives-ouvertes.fr/hal-01254503
Contributor : Samir Aknine
<>
Submitted on : Tuesday, January 12, 2016 - 12:51:48 PM
Last modification on : Wednesday, November 20, 2019 - 3:00:34 AM
Djamila Boukredera, Ramdane Maamri, Samir Aknine. Stochastic Petri Net-Based Modeling and Formal Analysis of Fault Tolerant Contract Net Protocol. Web Intelligence and Agent Systems: An International Journal, 2016, 14 (3), pp.245-271. ⟨hal-01254503⟩