Treffer: Abstraction and abstraction refinement in the verification of graph transformation systems
Titel:
Verantwortlich:
Entstehung:
2009
Umfang:
1 Online-Ressource (164 Seiten) : Diagramme ; 30 cm
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Universität Duisburg-Essen, 2009
Schlagworte: