%0 Journal Article %1 journals/sttt/LangeNNK20 %A Lange, Tim %A Neuhäußer, Martin R. %A Noll, Thomas %A Katoen, Joost-Pieter %D 2020 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 135-161 %T IC3 software model checking. %U http://dblp.uni-trier.de/db/journals/sttt/sttt22.html#LangeNNK20 %V 22

@article{journals/sttt/LangeNNK20, added-at = {2020-09-05T00:00:00.000+0200}, author = {Lange, Tim and Neuhäußer, Martin R. and Noll, Thomas and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2ad2e1f2f1094cc47257d9704290bb52c/dblp}, ee = {https://doi.org/10.1007/s10009-019-00547-x}, interhash = {580fd1cfbebc634d93ae35cade1cde3f}, intrahash = {ad2e1f2f1094cc47257d9704290bb52c}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 2, pages = {135-161}, timestamp = {2020-09-09T12:39:19.000+0200}, title = {IC3 software model checking.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt22.html#LangeNNK20}, volume = 22, year = 2020 }