Chung-Ming Huang;Jenq-Muh Hsu;Shiun-Wei Lee
-;-;-
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review