Andreas Eggers. Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems. PhD thesis, Carl von Ossietzky University of Oldenburg, 2014. [doi]
@phdthesis{dnb-3278,
title = {Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems},
author = {Andreas Eggers},
year = {2014},
url = {http://d-nb.info/1056999748},
researchr = {https://researchr.org/publication/dnb-3278},
cites = {0},
citedby = {0},
school = {Carl von Ossietzky University of Oldenburg},
}