Extending (Object-)Z for multi-agent systems specification.
A. Brandão, P. Alencar, and C. de Lucena. CAiSE Workshops (2), page 280-294. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}