BibTeX record conf/dalt/PokornyR04

download as .bib file

@inproceedings{DBLP:conf/dalt/PokornyR04,
  author    = {L. Robert Pokorny and
               C. R. Ramakrishnan},
  editor    = {Jo{\~{a}}o Alexandre Leite and
               Andrea Omicini and
               Paolo Torroni and
               Pinar Yolum},
  title     = {Modeling and Verification of Distributed Autonomous Agents Using Logic
               Programming},
  booktitle = {Declarative Agent Languages and Technologies II, Second International
               Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3476},
  pages     = {148--165},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/11493402\_9},
  doi       = {10.1007/11493402\_9},
  timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
  biburl    = {https://dblp.org/rec/conf/dalt/PokornyR04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics