Filtrování

    2007

    1. 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.
Zobrazit podrobně