Liveness Verification as a Tool for Protocol Validation

Varga, László Zsolt (1990) Liveness Verification as a Tool for Protocol Validation. In: Proc. of the IFIP TC6 Conference on Computer Networking, COMNET'90.

Full text not available from this repository.
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
Depositing User: EPrints Admin
Date Deposited: 11 Dec 2012 15:20
Last Modified: 11 Dec 2012 15:20
URI: http://eprints.sztaki.hu/id/eprint/4312

Update Item Update Item