%0 Conference Paper %1 conf/caise/BrandaoAL04 %A Brandão, Anarosa %A Alencar, Paulo S. C. %A de Lucena, Carlos José Pereira %B CAiSE Workshops (2) %D 2004 %E Grundspenkis, Janis %E Kirikova, Marite %I Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia %K dblp %P 280-294 %T Extending (Object-)Z for multi-agent systems specification. %U http://dblp.uni-trier.de/db/conf/caise/caisews2004-2.html#BrandaoAL04 %@ 9984-9767-2-6

@inproceedings{conf/caise/BrandaoAL04, added-at = {2006-06-21T00:00:00.000+0200}, author = {Brandão, Anarosa and Alencar, Paulo S. C. and de Lucena, Carlos José Pereira}, biburl = {https://www.bibsonomy.org/bibtex/2ee5c7c612dcb6533606948cd7efd6256/dblp}, booktitle = {CAiSE Workshops (2)}, crossref = {conf/caise/2004ws2}, date = {2006-06-21}, description = {dblp}, editor = {Grundspenkis, Janis and Kirikova, Marite}, interhash = {406809492ff05e21d4bfa9d7cf4d7acb}, intrahash = {ee5c7c612dcb6533606948cd7efd6256}, isbn = {9984-9767-2-6}, keywords = {dblp}, pages = {280-294}, publisher = {Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia}, timestamp = {2006-06-21T00:00:00.000+0200}, title = {Extending (Object-)Z for multi-agent systems specification.}, url = {http://dblp.uni-trier.de/db/conf/caise/caisews2004-2.html#BrandaoAL04}, year = 2004 }