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
No references recorded for this publication.
No citations of this publication recorded.