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

Alessandro Abate, Georgios E. Fainekos (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics