Treffer: Certifying rule-based models using graph transformation

Titel:

Verantwortlich:

Entstehung:

2009

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Technische Universität Berlin, 2009

Schlagworte:

Zusatz-Informationen