Modellierung und Verifikation eines Checkpoint-Restart-Verfahrens
Series: Arbeitspapiere der GMD -- 115
Publisher: Gesellschaft fur Mathematik und Datenverarbeitung
Published: 1984
Place of publication: Bonn
Language: ger
Number of pages: 107