ACM International Conference on Hybrid Systems: Computation and Control
Event name
ACM International Conference on Hybrid Systems: Computation and Control
Start date
08-04-2013
End date
11-04-2013
Location
Philadelphia, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Chatterjee, Krishnendu ; Kößler, Alexander ; Schmid, Ulrich | Automated Analysis of Real-Time Scheduling using Graph Games | Konferenzbeitrag Inproceedings ![]() | 2013 |