Pages that link to "Item:Q2842588"
From MaRDI portal
Displayed 3 items.
- Abstractions for hybrid systems (Q2475634) (← links)
- Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 (Q2842588) (← links)
- (Q2842869) (← links)