BibTeX record conf/icaart/AkhtarGO09

download as .bib file

@inproceedings{DBLP:conf/icaart/AkhtarGO09,
  author       = {Nadeem Akhtar and
                  Yann Le Guyadec and
                  Fl{\'{a}}vio Oquendo},
  editor       = {Joaquim Filipe and
                  Ana L. N. Fred and
                  Bernadette Sharp},
  title        = {Formal Specification and Verification of Multi-Agent Robotics Software
                  Systems - {A} Case Study},
  booktitle    = {{ICAART} 2009 - Proceedings of the International Conference on Agents
                  and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
  pages        = {475--482},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Sun, 24 May 2009 18:45:35 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/AkhtarGO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics