An Estelle-Based Probabilistic Partial Timed Protocol Verification System.

Chung-Ming Huang, Jenq-Muh Hsu

Browse the full ICPADS paper archive.