Browsing by Author Yovine, Sergio
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) |
---|---|---|
2002 | SPeeDI - a verification tool for polygonal hybrid systems | Asarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio |