Browse by Authors and EditorsNumber of items: 1. Moggi, Eugenio, Farjudian, Amin, Duracz, Adam and Taha, Walid (2018) Safe & robust reachability analysis of hybrid systems. Theoretical Computer Science, 747 . pp. 75-99. ISSN 03043975 |
Browse by Authors and EditorsNumber of items: 1. Moggi, Eugenio, Farjudian, Amin, Duracz, Adam and Taha, Walid (2018) Safe & robust reachability analysis of hybrid systems. Theoretical Computer Science, 747 . pp. 75-99. ISSN 03043975 |