Author:Erwin Schoitsch

Publications
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet (editors) EPiC Series in Computing, volume 90