Publications

2017
Link
[bibtex]
Erika Abraham, Sergiy Bogomolov editors. Proc. of the 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017. , Volume 247 of EPTCS, 2017.
2016
Link
[bibtex]
Erika Abraham, Sergiy Bogomolov editors. Proceedings of the 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'16). IEEE, 2016.