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

Antoine Girard, Sriram Sankaranarayanan (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics