%0 Conference Paper %1 conf/cade/HustadtS10 %A Hustadt, Ullrich %A Schmidt, Renate A. %B PAAR@IJCAR %D 2010 %E Schmidt, Renate A. %E Schulz, Stephan %E Konev, Boris %I EasyChair %K %P 63-73 %T A Comparison of Solvers for Propositional Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/cade/paar2010.html#HustadtS10 %V 9

@inproceedings{conf/cade/HustadtS10, added-at = {2023-12-14T16:07:27.000+0100}, author = {Hustadt, Ullrich and Schmidt, Renate A.}, biburl = {https://www.bibsonomy.org/bibtex/2fe749bb53cde12dfe646a05beac6b2e9/admin}, booktitle = {PAAR@IJCAR}, crossref = {conf/cade/2010paar}, editor = {Schmidt, Renate A. and Schulz, Stephan and Konev, Boris}, ee = {https://easychair.org/publications/paper/7Cj}, interhash = {f3d8ffc79b1dce960409a74f6d31ad11}, intrahash = {fe749bb53cde12dfe646a05beac6b2e9}, keywords = {}, pages = {63-73}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-14T16:07:27.000+0100}, title = {A Comparison of Solvers for Propositional Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2010.html#HustadtS10}, volume = 9, year = 2010 }