Michael A. Kochte. Boolean reasoning for digital circuits in presence of unknown values: application to test automation. PhD thesis, University of Stuttgart, 2014. [doi]
@phdthesis{dnb-3067, title = {Boolean reasoning for digital circuits in presence of unknown values: application to test automation}, author = {Michael A. Kochte}, year = {2014}, url = {http://d-nb.info/1052894089}, researchr = {https://researchr.org/publication/dnb-3067}, cites = {0}, citedby = {0}, school = {University of Stuttgart}, }