Verifikace komunikačních protokolů

• Authors: DOSTÁL Otto; SKLENÁŘ Jaroslav
• Year of publication: 1989
• Type: Article in Periodical
• Magazine / Source: Knižnice odborných a vědeckých spisů VUT v Brně
• MU Faculty or unit: Institute of Computer Science