Publications

Publications for Tim Lange

2019
DownloadLink
[bibtex]
Tim Lange. IC3 Software Model Checking. Phd Thesis at RWTH Aachen University, 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