Goran Frehse, Matthias Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. Volume 61 of EPiC Series in Computing, EasyChair, 2019. [doi]
Conference: cpsweek2019
@proceedings{cpsweek-2019arch,
title = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019},
year = {2019},
url = {http://www.easychair.org/publications/volume/ARCH19},
researchr = {https://researchr.org/publication/cpsweek-2019arch},
cites = {0},
citedby = {0},
booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019},
conference = {cpsweek},
editor = {Goran Frehse and Matthias Althoff},
volume = {61},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}