BibTeX record: conf/aips/MoffittG11

download as .bib file

@inproceedings{DBLP:conf/aips/MoffittG11,
  author    = {Michael D. Moffitt and
               Gernot E. G{\"{u}}nther},
  title     = {Scalable Scheduling for Hardware-Accelerated Functional Verification},
  booktitle = {Proceedings of the 21st International Conference on Automated Planning
               and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aips/2011},
  url       = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2510},
  timestamp = {Tue, 21 Oct 2014 17:55:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aips/MoffittG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aips/2011,
  editor    = {Fahiem Bacchus and
               Carmel Domshlak and
               Stefan Edelkamp and
               Malte Helmert},
  title     = {Proceedings of the 21st International Conference on Automated Planning
               and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
  year      = {2011},
  publisher = {{AAAI}},
  timestamp = {Tue, 21 Oct 2014 17:55:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aips/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}