Goran Frehse, Matthias Althoff, editors, ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria. Volume 43 of EPiC Series in Computing, EasyChair, 2017. [doi]
Conference: cpsweek2017
@proceedings{cpsweek-2016arch,
title = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria},
year = {2017},
url = {http://www.easychair.org/publications/volume/ARCH16},
researchr = {https://researchr.org/publication/cpsweek-2016arch},
cites = {0},
citedby = {0},
booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria},
conference = {cpsweek},
editor = {Goran Frehse and Matthias Althoff},
volume = {43},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}