Auflistung nach Autor Kozioura, Vitali
Anzeige der Treffer 1 bis 1 von 1
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2006 | Counterexample-guided abstraction refinement for the analysis of graph transformation systems | König, Barbara; Kozioura, Vitali |