TY - THES AU - Just, Elke DA - 2013 DP - Bergische Universität Wuppertal LA - eng N1 - Wuppertal, Univ., Diss., 2013 PB - Bergische Universität Wuppertal PY - 2013 TI - Adaptive use of extended systems for the efficient verified solution of nonlinear systems UR - https://nbn-resolving.org/urn:nbn:de:hbz:468-20140618-104905-4 Y2 - 2024-11-20T16:32:43 ER -