2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Book title Buchtitel
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gurung, Amit ; Kumar, Deka Arup ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Ray, Rajarshi | Parallel reachability analysis for hybrid systems | Konferenzbeitrag Inproceedings  | 2016 |