17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Event name
17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Start date
26-03-2011
End date
03-04-2011
Location
Saarbrücken
Country
Event format Veranstaltungsformat
On Site
Subject
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei | Invariant Generation in Vampire | Konferenzbeitrag Inproceedings  | 2011 | |
| 2 | Bartocci, Ezio ; Grosu, Radu ; Katsaros, Panagiotis ; Ramakrishnan, C.R. ; Smolka, Scott A. | Model Repair for Probabilistic Systems | Konferenzbeitrag Inproceedings | 2011 |