%0 Conference Paper %1 conf/aips/HeinzWBMGP19 %A Heinz, Alexander %A Wehrle, Martin %A Bogomolov, Sergiy %A Magazzeni, Daniele %A Greitschus, Marius %A Podelski, Andreas %B ICAPS %D 2019 %E Benton, J. %E Lipovetzky, Nir %E Onaindia, Eva %E Smith, David E. %E Srivastava, Siddharth %I AAAI Press %K dblp %P 195-199 %T Temporal Planning as Refinement-Based Model Checking. %U http://dblp.uni-trier.de/db/conf/aips/icaps2019.html#HeinzWBMGP19

@inproceedings{conf/aips/HeinzWBMGP19, added-at = {2022-03-07T00:00:00.000+0100}, author = {Heinz, Alexander and Wehrle, Martin and Bogomolov, Sergiy and Magazzeni, Daniele and Greitschus, Marius and Podelski, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2c465a3bbdcc2327fea102fe6e23215f6/dblp}, booktitle = {ICAPS}, crossref = {conf/aips/2019}, editor = {Benton, J. and Lipovetzky, Nir and Onaindia, Eva and Smith, David E. and Srivastava, Siddharth}, ee = {https://ojs.aaai.org/index.php/ICAPS/article/view/3476}, interhash = {3d3cdb337e55dbaa77b6a66cd43938b9}, intrahash = {c465a3bbdcc2327fea102fe6e23215f6}, keywords = {dblp}, pages = {195-199}, publisher = {AAAI Press}, timestamp = {2024-08-26T07:50:43.000+0200}, title = {Temporal Planning as Refinement-Based Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/aips/icaps2019.html#HeinzWBMGP19}, year = 2019 }