Formale Spezifikation und Implementierung von HochleistungsprotokollenStefan FischerVypredaná4,3Postrážiť