Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/aamas/El-MenshawyBKD13
%A El-Menshawy, Mohamed
%A Bentahar, Jamal
%A Kholy, Warda El
%A Dssouli, Rachida
%D 2013
%J Auton. Agents Multi Agent Syst.
%K dblp
%N 3
%P 375-418
%T Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*.
%U http://dblp.uni-trier.de/db/journals/aamas/aamas27.html#El-MenshawyBKD13
%V 27
@article{journals/aamas/El-MenshawyBKD13,
added-at = {2024-02-05T00:00:00.000+0100},
author = {El-Menshawy, Mohamed and Bentahar, Jamal and Kholy, Warda El and Dssouli, Rachida},
biburl = {https://www.bibsonomy.org/bibtex/2c09e373b382a608fe58a58c8bd5addb8/dblp},
ee = {https://doi.org/10.1007/s10458-012-9208-7},
interhash = {4f066a11c0caaf013f6a0be9bc006176},
intrahash = {c09e373b382a608fe58a58c8bd5addb8},
journal = {Auton. Agents Multi Agent Syst.},
keywords = {dblp},
number = 3,
pages = {375-418},
timestamp = {2024-04-08T12:42:27.000+0200},
title = {Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*.},
url = {http://dblp.uni-trier.de/db/journals/aamas/aamas27.html#El-MenshawyBKD13},
volume = 27,
year = 2013
}