Treffer: Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen

Titel:

Verantwortlich:

Peuker, Sibylle

Entstehung:

2001

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Deutsch

Hochschulschrift:

Berlin, Univ., Diss., 2001

Schlagworte:

Zusatz-Informationen