Ibtissem Ben Makhlouf. Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems. PhD thesis, RWTH Aachen University, Germany, 2016. [doi]
@phdthesis{dnb-8588, title = {Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems}, author = {Ibtissem Ben Makhlouf}, year = {2016}, url = {http://d-nb.info/1089072589}, researchr = {https://researchr.org/publication/dnb-8588}, cites = {0}, citedby = {0}, school = {RWTH Aachen University, Germany}, }