BibTeX record conf/aips/HeinzWBMGP19

download as .bib file

@inproceedings{DBLP:conf/aips/HeinzWBMGP19,
  author    = {Alexander Heinz and
               Martin Wehrle and
               Sergiy Bogomolov and
               Daniele Magazzeni and
               Marius Greitschus and
               Andreas Podelski},
  editor    = {J. Benton and
               Nir Lipovetzky and
               Eva Onaindia and
               David E. Smith and
               Siddharth Srivastava},
  title     = {Temporal Planning as Refinement-Based Model Checking},
  booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2018, Berkeley, CA, USA, July 11-15,
               2019},
  pages     = {195--199},
  publisher = {{AAAI} Press},
  year      = {2019},
  url       = {https://aaai.org/ojs/index.php/ICAPS/article/view/3476},
  timestamp = {Tue, 19 Nov 2019 08:03:24 +0100},
  biburl    = {https://dblp.org/rec/conf/aips/HeinzWBMGP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics