Formale Spezifikation und Verifikation eines Hochleistungstransferprotokolls mit dem Transferprotokollframework (in German), Diploma thesis (1998)

by V Hinz