Ein Werkzeug zum formal basierten Entwurf von Hochleistungstransportprotokollen (in German), Diploma thesis (1996)

by O Drögehorn