Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/eswa/El-MenshawyBKD13
AU - El-Menshawy, Mohamed
AU - Bentahar, Jamal
AU - Kholy, Warda El
AU - Dssouli, Rachida
TI - Verifying conformance of multi-agent commitment-based protocols.
JO - Expert Syst. Appl.
VL - 40
IS - 1
SP - 122
EP - 138
PY - 2013//
DO - 10.1016/J.ESWA.2012.07.030
UR - https://doi.org/10.1016/j.eswa.2012.07.030
ER -