%0 Conference Paper %1 conf/date/SeufertS18 %A Seufert, Tobias %A Scholl, Christoph %B DATE %D 2018 %E Madsen, Jan %E Coskun, Ayse K. %I IEEE %K dblp %P 49-54 %T Combining PDR and reverse PDR for hardware model checking. %U http://dblp.uni-trier.de/db/conf/date/date2018.html#SeufertS18 %@ 978-3-9819263-0-9

@inproceedings{conf/date/SeufertS18, added-at = {2023-05-01T00:00:00.000+0200}, author = {Seufert, Tobias and Scholl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2ce4e2d9c052b588a9728d349969359c9/dblp}, booktitle = {DATE}, crossref = {conf/date/2018}, editor = {Madsen, Jan and Coskun, Ayse K.}, ee = {https://doi.org/10.23919/DATE.2018.8341978}, interhash = {3cf6b6b93634d7c43832a13744d1708f}, intrahash = {ce4e2d9c052b588a9728d349969359c9}, isbn = {978-3-9819263-0-9}, keywords = {dblp}, pages = {49-54}, publisher = {IEEE}, timestamp = {2024-04-10T06:48:29.000+0200}, title = {Combining PDR and reverse PDR for hardware model checking.}, url = {http://dblp.uni-trier.de/db/conf/date/date2018.html#SeufertS18}, year = 2018 }