MEMICS 2011 (Mathematical and Engineering Methods in Computer Science)
Event name
MEMICS 2011 (Mathematical and Engineering Methods in Computer Science)
Start date
14-10-2011
End date
16-10-2011
Location
My Hotel, Lednice, Czech Republic
Country
Event format Veranstaltungsformat
On Site
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 |