Specifikace a verifikace komunikačních protokolů

• Autoři: DOSTÁL Otto
• Rok publikování: 1987
• Druh: Článek ve sborníku
• Konference: Dálkový přenos dat - DPD 87
• Fakulta / Pracoviště MU: Ústav výpočetní techniky