Title of article
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Author/Authors
C. -M. Huang، نويسنده , , J. -M. Hsu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
16
From page
177
To page
192
Keywords
Estelle-based probabilistic partial protocol , SUN SPARC workstations , Communicating finite state machine
Journal title
Computer Communications
Serial Year
2000
Journal title
Computer Communications
Record number
309122
Link To Document