Protocol Verification System Based on MODULA-2 Language

Kovács, László and Harangozó, József (1986) Protocol Verification System Based on MODULA-2 Language. In: Proceeding of the IFIP TC6 International Conference, COMNET '85.

Full text not available from this repository. (Request a copy)
Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Divisions: Department of Distributed Systems
Depositing User: Máté Pataki
Date Deposited: 11 Dec 2012 15:20
Last Modified: 11 Dec 2012 15:20
URI: http://eprints.sztaki.hu/id/eprint/4329

Update Item Update Item