Publications (3)
Publication year
Publication type
Reachability analysis of linear systems with uncertain parameters and inputs (2007)
Althoff, M.; Stursberg, O.; Buss, M.
Conference proceedings articleRecovery rates as a tool for goal-oriented treatment of cooling appliances? (2007)
Laner, D.; Rechberger, H.; Edelmann, X.
Conference proceedings articleRestarting Tree Automata (2007)
Stamer, H.; Otto, F.
Conference proceedings article