Preface

Waterloo, NSW] / [Open Publishing Association] (2017) [Contribution to a book, Contribution to a conference proceedings]

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017 / edited by: Erika Ábrahám and Sergiy Bogomolov

Authors

Authors

Ábrahám, Erika
Bogomolov, Sergiy

Identifier

  • REPORT NUMBER: RWTH-2018-222851