DBLP Record 'conf/iberamia/FuentesGP04'

BibTeX

@inproceedings{DBLP:conf/iberamia/FuentesGP04,
  author    = {Rub{\'e}n Fuentes and
               Jorge J. G{\'o}mez-Sanz and
               Juan Pav{\'o}n},
  title     = {Checking Social Properties of Multi-agent Systems with Activity
               Theory},
  booktitle = {IBERAMIA},
  year      = {2004},
  pages     = {1-11},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3315{\&}spage=1},
  crossref  = {DBLP:conf/iberamia/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iberamia/2004,
  editor    = {Christian Lema\^{\i}tre and
               Carlos A. Reyes and
               Jes{\'u}s A. Gonz{\'a}lez},
  title     = {Advances in Artificial Intelligence - IBERAMIA 2004, 9th
               Ibero-American Conference on AI, Puebla, M{\'e}xico,
               November 22-26, 2004, Proceedings},
  booktitle = {IBERAMIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3315},
  year      = {2004},
  isbn      = {3-540-23806-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}