BibTeX record conf/prima/AstefanoaeiDMB08

• > Home > conf/prima/AstefanoaeiDMB08

@inproceedings{DBLP:conf/prima/AstefanoaeiDMB08,
  author       = {Lacramioara Astefanoaei and
                  Mehdi Dastani and
                  John{-}Jules Ch. Meyer and
                  Frank S. de Boer},
  editor       = {The Duy Bui and
                  Tuong Vinh Ho and
                  Quang{-}Thuy Ha},
  title        = {A Verification Framework for Normative Multi-Agent Systems},
  booktitle    = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
                  Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December
                  15-16, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5357},
  pages        = {54--65},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89674-6\_9},
  doi          = {10.1007/978-3-540-89674-6\_9},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/AstefanoaeiDMB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}