%0 Conference Paper %1 conf/aips/KatzHH12 %A Katz, Michael %A Hoffmann, Jörg %A Helmert, Malte %B ICAPS %D 2012 %E McCluskey, Lee %E Williams, Brian Charles %E Silva, José Reinaldo %E Bonet, Blai %I AAAI %K dblp %T How to Relax a Bisimulation? %U http://dblp.uni-trier.de/db/conf/aips/icaps2012.html#KatzHH12 %@ 978-1-57735-562-5

@inproceedings{conf/aips/KatzHH12, added-at = {2015-01-02T00:00:00.000+0100}, author = {Katz, Michael and Hoffmann, Jörg and Helmert, Malte}, biburl = {https://www.bibsonomy.org/bibtex/28e47150544fb5e4c531ca6d31bd1bcbe/dblp}, booktitle = {ICAPS}, crossref = {conf/aips/2012}, editor = {McCluskey, Lee and Williams, Brian Charles and Silva, José Reinaldo and Bonet, Blai}, ee = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4593}, interhash = {3ac53314ca494f305d0403c09394c57e}, intrahash = {8e47150544fb5e4c531ca6d31bd1bcbe}, isbn = {978-1-57735-562-5}, keywords = {dblp}, publisher = {AAAI}, timestamp = {2017-03-04T11:36:24.000+0100}, title = {How to Relax a Bisimulation?}, url = {http://dblp.uni-trier.de/db/conf/aips/icaps2012.html#KatzHH12}, year = 2012 }