Treffer: Integration of graph transformation and temporal logic for the specification of distributed systems

Titel:

Verantwortlich:

Entstehung:

2000

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Technische Universität Berlin, 1999

Schlagworte:

Zusatz-Informationen