%0 Conference Paper %1 conf/date/BackesR13 %A Backes, John D. %A Riedel, Marc D. %B DATE %D 2013 %E Macii, Enrico %I EDA Consortium San Jose, CA, USA / ACM DL %K dblp %P 807-810 %T Using cubes of non-state variables with property directed reachability. %U http://dblp.uni-trier.de/db/conf/date/date2013.html#BackesR13 %@ 978-1-4503-2153-2

@inproceedings{conf/date/BackesR13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Backes, John D. and Riedel, Marc D.}, biburl = {https://www.bibsonomy.org/bibtex/29b2d2efdd505f32e35318c4ea514f6ea/dblp}, booktitle = {DATE}, crossref = {conf/date/2013}, editor = {Macii, Enrico}, ee = {http://dl.acm.org/citation.cfm?id=2485483}, interhash = {fe7af8ff85aa6f5a504064ba6a34dcb9}, intrahash = {9b2d2efdd505f32e35318c4ea514f6ea}, isbn = {978-1-4503-2153-2}, keywords = {dblp}, pages = {807-810}, publisher = {EDA Consortium San Jose, CA, USA / ACM DL}, timestamp = {2019-10-17T15:03:27.000+0200}, title = {Using cubes of non-state variables with property directed reachability.}, url = {http://dblp.uni-trier.de/db/conf/date/date2013.html#BackesR13}, year = 2013 }