Treffer: Automatic synthesis of distributed transition systems

Titel:

Automatic synthesis of distributed transition systems / vorgelegt von Alin Ştefănescu

Verantwortlich:

Entstehung:

2006

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Universität Stuttgart, 2006

Schlagworte:

Zusatz-Informationen