Stefan Frehse. Quality and quantity in robustness checking using formal techniques. PhD thesis, University of Bremen, 2013. [doi]
@phdthesis{dnb-911, title = {Quality and quantity in robustness checking using formal techniques}, author = {Stefan Frehse}, year = {2013}, url = {http://d-nb.info/1072226057}, researchr = {https://researchr.org/publication/dnb-911}, cites = {0}, citedby = {0}, school = {University of Bremen}, }