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 = {Mon, 08 Dec 2014 17:31:21 +0100},
  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},
  url       = {http://www.computer.org/csdl/proceedings/aamas/2004/index.html},
  isbn      = {1-58113-864-4},
  timestamp = {Mon, 08 Dec 2014 17:31:21 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}