Publications

Publications for Martin R. Neuhäußer

2018

[bibtex]
Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3. SPIN 2018, Volume of LNCS, Springer, 2018.
Show all