Verification of fault tolerant algorithms using PEP:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Merkel, Stephan (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: München 1997
Schriftenreihe:Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht / A] 1997,23
Beschreibung:31 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!