"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation ..."

Aaron D. Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics