Sergiy Bogomolov, Ashish Tiwari, editors, 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. Volume 37 of EPiC Series in Computing, EasyChair, 2015. [doi]
Conference: cav2015
@proceedings{cav-2015snr,
title = {1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015},
year = {2015},
url = {http://www.easychair.org/publications/volume/SNR_2015},
researchr = {https://researchr.org/publication/cav-2015snr},
cites = {0},
citedby = {0},
booktitle = {1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015},
conference = {cav},
editor = {Sergiy Bogomolov and Ashish Tiwari},
volume = {37},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}