Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/aamas/EijkBHM03
%A van Eijk, Rogier M.
%A de Boer, Frank S.
%A van der Hoek, Wiebe
%A Meyer, John-Jules Ch.
%D 2003
%J Auton. Agents Multi Agent Syst.
%K dblp
%N 2
%P 185-219
%T A Verification Framework for Agent Communication.
%U http://dblp.uni-trier.de/db/journals/aamas/aamas6.html#EijkBHM03
%V 6
@article{journals/aamas/EijkBHM03,
added-at = {2020-03-13T00:00:00.000+0100},
author = {van Eijk, Rogier M. and de Boer, Frank S. and van der Hoek, Wiebe and Meyer, John-Jules Ch.},
biburl = {https://www.bibsonomy.org/bibtex/2d9e8a26c2643b133b53acbdc281ff2fe/dblp},
ee = {https://doi.org/10.1023/A:1021836202093},
interhash = {86c264b3a44c1ba2f3720420c70f84fd},
intrahash = {d9e8a26c2643b133b53acbdc281ff2fe},
journal = {Auton. Agents Multi Agent Syst.},
keywords = {dblp},
number = 2,
pages = {185-219},
timestamp = {2020-03-14T11:42:49.000+0100},
title = {A Verification Framework for Agent Communication.},
url = {http://dblp.uni-trier.de/db/journals/aamas/aamas6.html#EijkBHM03},
volume = 6,
year = 2003
}
