Goran Frehse, Matthias Althoff, editors, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Volume 80 of EPiC Series in Computing, EasyChair, 2021. [doi]
Conference: arch
No references recorded for this publication.
No citations of this publication recorded.