MEMICS Proceedings
Book title Buchtitel
MEMICS Proceedings
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract) | Konferenzbeitrag Inproceedings  | 2011 |