%0 Conference Paper %1 conf/fmcad/0001NN15 %A Lange, Tim %A Neuhäußer, Martin R. %A Noll, Thomas %B FMCAD %D 2015 %E Kaivola, Roope %E Wahl, Thomas %I IEEE %K %P 97-104 %T IC3 Software Model Checking on Control Flow Automata. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2015.html#0001NN15 %@ 978-0-9835678-5-1

@inproceedings{conf/fmcad/0001NN15, added-at = {2023-12-13T09:59:52.000+0100}, author = {Lange, Tim and Neuhäußer, Martin R. and Noll, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2c71081eb44dd8734e46646655fe82ff4/admin}, booktitle = {FMCAD}, crossref = {conf/fmcad/2015}, editor = {Kaivola, Roope and Wahl, Thomas}, interhash = {d3b0d5c7a2ece6a79f75eb6e5775e693}, intrahash = {c71081eb44dd8734e46646655fe82ff4}, isbn = {978-0-9835678-5-1}, keywords = {}, pages = {97-104}, publisher = {IEEE}, timestamp = {2023-12-13T09:59:52.000+0100}, title = {IC3 Software Model Checking on Control Flow Automata.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2015.html#0001NN15}, year = 2015 }