Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017

Waterloo, NSW] / [Open Publishing Association] (2017) [Buch, Preprint, Tagungsband]

3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis Uppsala 2017-04-22 - 2017-04-22
Seite(n): 1 Online-Ressource : Illustrationen

Autorinnen und Autoren

Autorinnen und Autoren

Ábrahám, Erika
Bogomolov, Sergiy

Identifikationsnummern