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

In: Electronic proceedings in theoretical computer science 247
Page(s)/Article-Nr.: 1 Online-Ressource : Illustrationen

Identifier