Publications

Publications for Sergiy Bogomolov

2016

[bibtex]
Erika Abraham, Sergiy Bogomolov editors. Proceedings of the 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'16). IEEE, 2016.
Show all