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:	https://eprints.sztaki.hu/id/eprint/4328

Update Item