"ARCH18. 5th International Workshop on Applied Verification of Continuous ..."

Goran Frehse et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics