%0 Conference Paper %1 conf/iccad/ArmoniEFKV05 %A Armoni, Roy %A Egorov, Sergey %A Fraer, Ranan %A Korchemny, Dmitry %A Vardi, Moshe Y. %B ICCAD %D 2005 %I IEEE Computer Society %K dblp %P 877-884 %T Efficient LTL compilation for SAT-based model checking. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2005.html#ArmoniEFKV05 %@ 0-7803-9254-X

@inproceedings{conf/iccad/ArmoniEFKV05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Armoni, Roy and Egorov, Sergey and Fraer, Ranan and Korchemny, Dmitry and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/21ee0b4a39c565680908e66f21061da27/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2005}, ee = {http://dl.acm.org/citation.cfm?id=1129725}, interhash = {554eaa537e80e7d83b4f2eceae506932}, intrahash = {1ee0b4a39c565680908e66f21061da27}, isbn = {0-7803-9254-X}, keywords = {dblp}, pages = {877-884}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:54:49.000+0200}, title = {Efficient LTL compilation for SAT-based model checking.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2005.html#ArmoniEFKV05}, year = 2005 }