Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

Peter Herrmann. Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen. DUV Informatik, DUV, 1998.

Abstract

Abstract is missing.