A comparison of spin and the MyCRL toolset on HAVi leader election protocol:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Usenko, Y. S. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam Centrum voor Wiskunde en Informatica 1999
Beschreibung:23 S. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!