000 00498nab a2200145Ia 4500
008 230808s1997 |||||||f |||| 00| 0 eng d
100 _aDe Groot, S. M. H
_9864860
100 _aOlah, A. L
_9827120
245 0 _aAlternative Specification and Verification of A Periodic State Exchange Protocol.
300 _a525-529 p.
650 _aCommunication System Performance
_9813513
650 _aComputer Network
_9786086
773 _d1997
_tIeee/Acm Transactions on Networking
_x10636692
942 _cART
_o51
_pABUL KALAM Library
999 _c805791
_d805791