BibTeX record conf/aaai/BogomolovMPW14

download as .bib file

@inproceedings{DBLP:conf/aaai/BogomolovMPW14,
  author    = {Sergiy Bogomolov and
               Daniele Magazzeni and
               Andreas Podelski and
               Martin Wehrle},
  editor    = {Carla E. Brodley and
               Peter Stone},
  title     = {Planning as Model Checking in Hybrid Domains},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages     = {2228--2234},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8494},
  timestamp = {Thu, 31 Jul 2014 09:00:19 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/BogomolovMPW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics