@phdthesis{RISC4122,
author = {Andreas Neubacher},
title = {{Parametric Robust Stability by Quantifier Elimination}},
language = {english},
year = {1997},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0}
}