%0 Conference Paper %1 conf/aois/BrandaoAL04 %A Brandão, Anarosa %A Alencar, Paulo S. C. %A de Lucena, Carlos José Pereira %B AOIS %D 2004 %E Bresciani, Paolo %E Giorgini, Paolo %E Henderson-Sellers, Brian %E Low, Graham %E Winikoff, Michael %I Springer %K dblp %P 125-139 %T AgentZ: Extending Object-Z for Multi-agent Systems Specification. %U http://dblp.uni-trier.de/db/conf/aois/aois2004.html#BrandaoAL04 %V 3508 %@ 3-540-25911-2

@inproceedings{conf/aois/BrandaoAL04, added-at = {2018-11-02T00:00:00.000+0100}, author = {Brandão, Anarosa and Alencar, Paulo S. C. and de Lucena, Carlos José Pereira}, biburl = {https://www.bibsonomy.org/bibtex/282a231f320eb6431f3213dd5c6b02da0/dblp}, booktitle = {AOIS}, crossref = {conf/aois/2004}, editor = {Bresciani, Paolo and Giorgini, Paolo and Henderson-Sellers, Brian and Low, Graham and Winikoff, Michael}, ee = {https://doi.org/10.1007/11426714_9}, interhash = {f1d47de14854ae7ce9f7ec584e16c611}, intrahash = {82a231f320eb6431f3213dd5c6b02da0}, isbn = {3-540-25911-2}, keywords = {dblp}, pages = {125-139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:54:54.000+0200}, title = {AgentZ: Extending Object-Z for Multi-agent Systems Specification.}, url = {http://dblp.uni-trier.de/db/conf/aois/aois2004.html#BrandaoAL04}, volume = 3508, year = 2004 }