The 18th Workshop on Logic-based methods in Programming Environments
Event name
The 18th Workshop on Logic-based methods in Programming Environments
Start date
12-12-2008
Location
Udine, Italy
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Prantl, Adrian ; Knoop, Jens ; Schordan, Markus ; Triska, Markus | Constraint solving for high-level WCET analysis | Konferenzbeitrag Inproceedings | 2008 |