%0 Conference Paper %1 conf/mbmv/WintererSSTS021 %A Winterer, Felix %A Seufert, Tobias %A Scheibler, Karsten %A Teige, Tino %A Scholl, Chritsoph %A Becker, Bernd %B MBMV %D 2021 %I VDE/IEEE %K dblp %P 1-12 %T ICP and IC3 with Stronger Generalization. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2021.html#WintererSSTS021 %@ 978-3-8007-5500-4

@inproceedings{conf/mbmv/WintererSSTS021, added-at = {2024-01-12T00:00:00.000+0100}, author = {Winterer, Felix and Seufert, Tobias and Scheibler, Karsten and Teige, Tino and Scholl, Chritsoph and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2cb24d5e357c458f1b20fa9c4aa76e8b1/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2021}, ee = {https://ieeexplore.ieee.org/document/9399721}, interhash = {b5a931e9d584faff493b87aef035c4a7}, intrahash = {cb24d5e357c458f1b20fa9c4aa76e8b1}, isbn = {978-3-8007-5500-4}, keywords = {dblp}, pages = {1-12}, publisher = {VDE/IEEE}, timestamp = {2024-04-09T14:55:40.000+0200}, title = {ICP and IC3 with Stronger Generalization.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2021.html#WintererSSTS021}, year = 2021 }