Výpis publikací

2007

1. Formalisms and Tools for Design and Specification of Network Protocols

   BABICA, 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