"Proceedings of the 20th International Conference on Hybrid Systems: ..."

Goran Frehse, Sayan Mitra (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics