Book title Buchtitel
FMCAD
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Sinn, Moritz ; Veith, Helmut ; Zuleger, Florian | Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian | On the concept of variable roles and its use in software analysis | Konferenzbeitrag Inproceedings | 2013 | |
| 3 | John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef | Parameterized model checking of fault-tolerant distributed algorithms by abstraction | Konferenzbeitrag Inproceedings | 2013 |