BibTeX record conf/aois/BrandaoAL04

• > Home > conf/aois/BrandaoAL04

@inproceedings{DBLP:conf/aois/BrandaoAL04,
  author       = {Anarosa Brand{\~{a}}o and
                  Paulo S. C. Alencar and
                  Carlos Jos{\'{e}} Pereira de Lucena},
  editor       = {Paolo Bresciani and
                  Paolo Giorgini and
                  Brian Henderson{-}Sellers and
                  Graham Low and
                  Michael Winikoff},
  title        = {AgentZ: Extending Object-Z for Multi-agent Systems Specification},
  booktitle    = {Agent-Oriented Information Systems II, 6th International Bi-Conference
                  Workshop, {AOIS} 2004, Riga, Latvia, June 8, 2004 and New York, NY,
                  USA, July 20, 2004,Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3508},
  pages        = {125--139},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11426714\_9},
  doi          = {10.1007/11426714\_9},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/aois/BrandaoAL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}