DBLP BibTeX Record 'conf/aips/MoffittG11'

@inproceedings{DBLP:conf/aips/MoffittG11,
  author    = {Michael D. Moffitt and
               Gernot E. G{\"u}nther},
  title     = {Scalable Scheduling for Hardware-Accelerated Functional
               Verification},
  booktitle = {ICAPS},
  year      = {2011},
  ee        = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2510},
  crossref  = {DBLP:conf/aips/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
  booktitle = {ICAPS},
  publisher = {AAAI},
  year      = {2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}