%0 Journal Article %1 eijk_03_verification %A van Eijk, Rogier M. %A de Boer, Frank S. %A van der Hoek, Wiebe %A Meyer, John J. %D 2003 %J Autonomous Agents and Multi-Agent Systems %K verification agents statecharts 2003 %N 2 %P 185--219 %R 10.1023/A:1021836202093%0D%0A %T A Verification Framework for Agent Communication %U http://dx.doi.org/10.1023/A:1021836202093%0D%0A %V V6

@article{eijk_03_verification, added-at = {2009-02-11T22:25:20.000+0100}, author = {van Eijk, Rogier M. and de Boer, Frank S. and van der Hoek, Wiebe and Meyer, John J.}, biburl = {https://www.bibsonomy.org/bibtex/27b175e81e715b231dc33b9a3c5e72946/leonardo}, citeulike-article-id = {897601}, doi = {10.1023/A:1021836202093%0D%0A}, interhash = {86c264b3a44c1ba2f3720420c70f84fd}, intrahash = {7b175e81e715b231dc33b9a3c5e72946}, journal = {Autonomous Agents and Multi-Agent Systems}, keywords = {verification agents statecharts 2003}, month = {March}, number = 2, pages = {185--219}, posted-at = {2006-10-15 03:51:40}, priority = {2}, timestamp = {2009-02-11T22:25:20.000+0100}, title = {A Verification Framework for Agent Communication}, url = {http://dx.doi.org/10.1023/A:1021836202093%0D%0A}, volume = {V6}, year = 2003 }