2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) > 1 - 6
Source
Abstract
Identifiers
book e-ISBN : | 978-1-5090-3079-8 |
DOI | 10.1109/SNR.2016.7479377 |
book e-ISBN : | 978-1-5090-3079-8 |
DOI | 10.1109/SNR.2016.7479377 |