Formal Description, Verification and Implementation of Local Area Computer Network Transport Protocol

Szentner, János and Kovács, László and Harangozó, József (1986) Formal Description, Verification and Implementation of Local Area Computer Network Transport Protocol. 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/4328

Update Item Update Item