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) [Book, Preprint, Proceedings]

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

Identifier