%0 Journal Article %1 journals/fac/LiZZPVH18 %A Li, Jianwen %A Zhang, Lijun %A Zhu, Shufang %A Pu, Geguang %A Vardi, Moshe Y. %A He, Jifeng %D 2018 %J Formal Asp. Comput. %K %N 2 %P 193-217 %T An explicit transition system construction approach to LTL satisfiability checking. %U http://dblp.uni-trier.de/db/journals/fac/fac30.html#LiZZPVH18 %V 30

@article{journals/fac/LiZZPVH18, added-at = {2023-12-14T16:42:59.000+0100}, author = {Li, Jianwen and Zhang, Lijun and Zhu, Shufang and Pu, Geguang and Vardi, Moshe Y. and He, Jifeng}, biburl = {https://www.bibsonomy.org/bibtex/209bc5002261817b0a00c528d1eefab56/admin}, ee = {https://doi.org/10.1007/s00165-017-0442-2}, interhash = {fc2059330dcf250593a216970eda142d}, intrahash = {09bc5002261817b0a00c528d1eefab56}, journal = {Formal Asp. Comput.}, keywords = {}, number = 2, pages = {193-217}, timestamp = {2023-12-14T16:42:59.000+0100}, title = {An explicit transition system construction approach to LTL satisfiability checking.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac30.html#LiZZPVH18}, volume = 30, year = 2018 }