@techreport{RISC1400,author = {Andreas Neubacher},
title = {{Parametric Robust Stability by Quantifier Elimination}},
number = {97-37},
year = {1997},
month = {November},
note = {PhD Thesis},
sponsor = {ACCLAIM project sponsored by the European Community Basic Research Action
(ESPRIT 7195) and the Austrian Science Foundation (FWF Project No. P9374-PHY)},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}