Treffer: Verification of Well-Structured Graph Transformation Systems

Titel:

Verification of Well-Structured Graph Transformation Systems / Jan Stückrath. Betreuer: Barbara König

Verantwortlich:

Veröffentlicht:

Duisburg : Universitätsbibliothek Duisburg-Essen, 2016

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Universität Duisburg-Essen, 2016

Schlagworte:

Zusatz-Informationen