Marko Kleine Büning. Formal Verification of Industrial Software and Neural Networks. PhD thesis, Karlsruhe Institute of Technology, Germany, 2022. [doi]
@phdthesis{dnb-25002,
title = {Formal Verification of Industrial Software and Neural Networks},
author = {Marko Kleine Büning},
year = {2022},
url = {https://d-nb.info/1260580415},
researchr = {https://researchr.org/publication/dnb-25002},
cites = {0},
citedby = {0},
school = {Karlsruhe Institute of Technology, Germany},
}