%0 Conference Paper %1 conf/hvc/RozierV12 %A Rozier, Kristin Yvonne %A Vardi, Moshe Y. %B Haifa Verification Conference %D 2012 %E Biere, Armin %E Nahir, Amir %E Vos, Tanja E. J. %I Springer %K dblp %P 243-259 %T Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2012.html#RozierV12 %V 7857 %@ 978-3-642-39610-6

@inproceedings{conf/hvc/RozierV12, added-at = {2017-05-19T00:00:00.000+0200}, author = {Rozier, Kristin Yvonne and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2b6d0928f6a65125c33ef2135d4c60a9f/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2012}, editor = {Biere, Armin and Nahir, Amir and Vos, Tanja E. J.}, ee = {https://doi.org/10.1007/978-3-642-39611-3_23}, interhash = {1bf14230f6da1b5253ef20e5760d5e35}, intrahash = {b6d0928f6a65125c33ef2135d4c60a9f}, isbn = {978-3-642-39610-6}, keywords = {dblp}, pages = {243-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:25.000+0200}, title = {Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2012.html#RozierV12}, volume = 7857, year = 2012 }