Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'13)
Book title Buchtitel
Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'13)
Publisher Herausgeber
ACM
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 |