Title of article
Alternative specification and verification of a periodic state exchange protocol
Author/Authors
Olah، نويسنده , , A.L.، نويسنده , , Heemstra de Groot، نويسنده , , S.M.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
5
From page
525
To page
529
Keywords
Communication system performance , computernetworks , software verification and validation , transport protocols.
Journal title
IEEE/ ACM Transactions on Networking
Serial Year
1997
Journal title
IEEE/ ACM Transactions on Networking
Record number
375559
Link To Document