Tobias Nopper. Verifikation unvollständiger Schaltkreise. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2015. [doi]
@phdthesis{dnb-11023, title = {Verifikation unvollständiger Schaltkreise}, author = {Tobias Nopper}, year = {2015}, url = {http://d-nb.info/1080530797}, researchr = {https://researchr.org/publication/dnb-11023}, cites = {0}, citedby = {0}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, }