Media type: E-Book Title: Counterexample-guided abstraction refinement for the analysis of graph transformation systems Contributor: König, Barbara [Author]; Kozioura, Vitali [Author] Published: Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart Published in: Technischer Bericht ; 2006,1 Extent: 25 S. Language: English Identifier: Keywords: Graphersetzungssystem Type of reproduction: Online-Ausg. Place of reproduction: Stuttgart: Universitätsbibliothek der Universität Stuttgart Origination: Footnote: Access State: Open Access