%0 Journal Article %1 journals/jucs/KrebsR03 %A Krebs, Andreas %A Ruf, Jürgen %D 2003 %J J. Univers. Comput. Sci. %K %N 2 %P 120-137 %T Optimized Temporal Logic Compilation. %U http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#KrebsR03 %V 9

@article{journals/jucs/KrebsR03, added-at = {2023-12-13T01:52:15.000+0100}, author = {Krebs, Andreas and Ruf, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2d08885b010f011e54ac5974a7879695b/admin}, ee = {https://doi.org/10.3217/jucs-009-02-0120}, interhash = {779e34cb7e024367bc922a7f4a67f5c0}, intrahash = {d08885b010f011e54ac5974a7879695b}, journal = {J. Univers. Comput. Sci.}, keywords = {}, number = 2, pages = {120-137}, timestamp = {2023-12-13T01:52:15.000+0100}, title = {Optimized Temporal Logic Compilation.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#KrebsR03}, volume = 9, year = 2003 }