Book title Buchtitel
ATVA
Publisher Herausgeber
Lecture Notes in Computer Science. Springer Verlag.
Place of publishing Erscheinungsort
7561
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Cadek, Pavel ; Strejcek, Jan ; Trtík, Marek | Tighter Loop Bound Analysis | Konferenzbeitrag Inproceedings  | 2016 |