Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/ker/El-MenshawyBKYD15
AU - El-Menshawy, Mohamed
AU - Bentahar, Jamal
AU - Kholy, Warda El
AU - Yolum, Pinar
AU - Dssouli, Rachida
TI - Computational logics and verification techniques of multi-agent commitments: survey.
JO - Knowl. Eng. Rev.
VL - 30
IS - 5
SP - 564
EP - 606
PY - 2015//
DO - 10.1017/S0269888915000065
UR - https://doi.org/10.1017/S0269888915000065
ER -
