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

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