![](/img/cover-not-exists.png)
Timed protocol verification for Estelle-specified protocols
Huang, Chung-Ming, Lee, Shiun-WeiVolume:
25
Language:
english
Journal:
ACM SIGCOMM Computer Communication Review
DOI:
10.1145/214299.214300
Date:
July, 1995
File:
PDF, 1.58 MB
english, 1995