Timed protocol verification for Estelle-specified protocols

Authors
C.M.Huang,S.W.Lee
Citation
C.m.huang,s.w.lee, Timed protocol verification for Estelle-specified protocols, SIGCOMM computer communication review Computer communication review , 25(3), 1994, pp. 4-32
Journal title
SIGCOMM computer communication review Computer communication review → ACNP
ISSN journal
01464833
Volume
25
Issue
3
Year of publication
1994
Pages
4 - 32
Database
ACNP
SICI code