Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, EasyChair, 2017. [doi]
Conference: cpsweek2017
@proceedings{cpsweek-2017arch, title = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA}, year = {2017}, url = {http://www.easychair.org/publications/volume/ARCH17}, researchr = {https://researchr.org/publication/cpsweek-2017arch}, cites = {0}, citedby = {0}, booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA}, conference = {cpsweek}, editor = {Goran Frehse and Matthias Althoff}, volume = {48}, series = {EPiC Series}, publisher = {EasyChair}, }