-
Formalisms and Tools for Design and Specification of Network Protocols A - Audiovizuální tvorbaBABICA, Jindřich; Vojtěch ŘEHÁK; Petr SLOVÁK; Pavel TROUBIL a Martin ZAVADIL. Formalisms and Tools for Design and Specification of Network Protocols. Brno: FI MU, 2007. FIMU-RS-2007-02.Podrobněji: https://is.muni.cz/publication/759822/cs