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

Ábrahám, Erika (Editor); Bogomolov, Sergiy (Editor)

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

In: Electronic proceedings in theoretical computer science 247
Seite(n)/Artikel-Nr.: 1 Online-Ressource : Illustrationen

Identifikationsnummern