%0 Conference Paper %1 conf/hvc/LiZPV15 %A Li, Jianwen %A Zhu, Shufang %A Pu, Geguang %A Vardi, Moshe Y. %B Haifa Verification Conference %D 2015 %E Piterman, Nir %I Springer %K dblp %P 209-224 %T SAT-Based Explicit LTL Reasoning. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#LiZPV15 %V 9434 %@ 978-3-319-26286-4

@inproceedings{conf/hvc/LiZPV15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Li, Jianwen and Zhu, Shufang and Pu, Geguang and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2bfdf31016b661a9035b2914266dae46c/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2015}, editor = {Piterman, Nir}, ee = {https://doi.org/10.1007/978-3-319-26287-1_13}, interhash = {cc09f8f7ece8734be190e696cf205c28}, intrahash = {bfdf31016b661a9035b2914266dae46c}, isbn = {978-3-319-26286-4}, keywords = {dblp}, pages = {209-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:56:13.000+0200}, title = {SAT-Based Explicit LTL Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#LiZPV15}, volume = 9434, year = 2015 }