König, Barbara; Kozioura, Vitali:
Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems
In: Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings - 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5. März -2. April 2006, Wien, Austria - Berlin: Springer, 2006 - (Lecture Notes in Computer Science ; 3920), S. 197 - 211
2006Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft » Informatik » Theoretische Informatik
Titel in Englisch:
Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems
Autor*in:
König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Kozioura, Vitali
Scopus ID
Sprache des Textes:
Englisch