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

Waterloo, NSW] / [Open Publishing Association] (2017) [Book, Proceedings]

3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis Uppsala 2017-04-22 - 2017-04-22

Authors

Selected Authors

Ábrahám, Erika
Bogomolov, Sergiy

Identifier

  • REPORT NUMBER: RWTH-2018-01212