Petriho síť jako prostředek pro ověřování správnosti komunikačního protokolu

• Autoři: DOSTÁL Otto; SKLENÁŘ Jaroslav
• Rok publikování: 1989
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Knižnice odborných a vědeckých spisů VUT v Brně
• Fakulta / Pracoviště MU: Ústav výpočetní techniky