%0 Conference Paper %1 conf/sbmf/TimmGH18 %A Timm, Nils %A Gruner, Stefan %A Harvey, Matthias %B SBMF %D 2018 %E Massoni, Tiago %E Mousavi, Mohammad Reza %I Springer %K dblp %P 126-143 %T Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2018.html#TimmGH18 %V 11254 %@ 978-3-030-03044-5

@inproceedings{conf/sbmf/TimmGH18, added-at = {2018-11-19T00:00:00.000+0100}, author = {Timm, Nils and Gruner, Stefan and Harvey, Matthias}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b222ea406cf1f5cd4602f9bdf038cbe6/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2018}, editor = {Massoni, Tiago and Mousavi, Mohammad Reza}, ee = {https://doi.org/10.1007/978-3-030-03044-5_9}, interhash = {1547c140786390a38be14be1e4d2836d}, intrahash = {b222ea406cf1f5cd4602f9bdf038cbe6}, isbn = {978-3-030-03044-5}, keywords = {dblp}, pages = {126-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:20:57.000+0200}, title = {Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2018.html#TimmGH18}, volume = 11254, year = 2018 }