Publications

Publications for Martin R. Neuhäußer

2019
DOI
[bibtex]
Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 Software Model Checking. Software Tools for Technology Transfer, 2019.
Show all