%0 Conference Paper %1 conf/spin/0001PNNK18 %A Lange, Tim %A Prinz, Frederick %A Neuhäußer, Martin R. %A Noll, Thomas %A Katoen, Joost-Pieter %B SPIN %D 2018 %E del Mar Gallardo, María %E Merino, Pedro %I Springer %K dblp %P 85-102 %T Improving Generalization in Software IC3. %U http://dblp.uni-trier.de/db/conf/spin/spin2018.html#0001PNNK18 %V 10869 %@ 978-3-319-94111-0

@inproceedings{conf/spin/0001PNNK18, added-at = {2020-01-08T00:00:00.000+0100}, author = {Lange, Tim and Prinz, Frederick and Neuhäußer, Martin R. and Noll, Thomas and Katoen, Joost-Pieter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28f49db38df7e9a99130cb504e17824fb/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2018}, editor = {del Mar Gallardo, María and Merino, Pedro}, ee = {https://doi.org/10.1007/978-3-319-94111-0_5}, interhash = {b6856e18a8efdbbd8f195eff895d1dda}, intrahash = {8f49db38df7e9a99130cb504e17824fb}, isbn = {978-3-319-94111-0}, keywords = {dblp}, pages = {85-102}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-09T08:17:51.000+0100}, title = {Improving Generalization in Software IC3.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2018.html#0001PNNK18}, volume = 10869, year = 2018 }