%0 Journal Article %1 journals/sttt/RozierV10 %A Rozier, Kristin Y. %A Vardi, Moshe Y. %D 2010 %J STTT %K dblp %N 2 %P 123-137 %T LTL satisfiability checking. %U http://dblp.uni-trier.de/db/journals/sttt/sttt12.html#RozierV10 %V 12

@article{journals/sttt/RozierV10, added-at = {2010-11-11T00:00:00.000+0100}, author = {Rozier, Kristin Y. and Vardi, Moshe Y.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cf1cde17d759edde85a7703b3f006589/dblp}, ee = {http://dx.doi.org/10.1007/s10009-010-0140-3}, interhash = {cb3d65ad5eff7a3b51006813947c3ac8}, intrahash = {cf1cde17d759edde85a7703b3f006589}, journal = {STTT}, keywords = {dblp}, number = 2, pages = {123-137}, timestamp = {2016-02-02T09:11:24.000+0100}, title = {LTL satisfiability checking.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt12.html#RozierV10}, volume = 12, year = 2010 }