Treffer: Behavioral congruences and verification of graph transformation systems with applications to model refactoring

Titel:

Verantwortlich:

Entstehung:

2008

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Technische Universität Berlin, 2008

Schlagworte:

Zusatz-Informationen