Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: 2018
Number of items: 1.

2018

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

This list was generated on Sat Dec 21 17:06:38 2024 UTC.