BibTeX record: conf/atal/BordiniFVW04

download as .bib file

@inproceedings{DBLP:conf/atal/BordiniFVW04,
  author    = {Rafael H. Bordini and
               Michael Fisher and
               Willem Visser and
               Michael Wooldridge},
  title     = {State-Space Reduction Techniques in Agent Verification},
  booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
  pages     = {896--903},
  year      = {2004},
  crossref  = {DBLP:conf/atal/2004},
  url       = {http://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10118},
  doi       = {10.1109/AAMAS.2004.10118},
  timestamp = {Wed, 26 Oct 2011 12:01:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/BordiniFVW04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2004,
  title     = {3rd International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  isbn      = {1-58113-864-4},
  timestamp = {Wed, 13 Oct 2004 15:20:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}