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, 14(3):245-271, 2016. [doi]
@article{BoukrederaMA16,
title = {Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol},
author = {Djamila Boukredera and Ramdane Maamri and Samir Aknine},
year = {2016},
doi = {10.3233/WEB-160342},
url = {http://dx.doi.org/10.3233/WEB-160342},
researchr = {https://researchr.org/publication/BoukrederaMA16},
cites = {0},
citedby = {0},
journal = {Web Intelligence and Agent Systems},
volume = {14},
number = {3},
pages = {245-271},
}