Probabilistic Timed Protocol Verification for the Extended State Transition Model.

Chung-Ming Huang, Shiun-Wei Lee, Jenq-Muh Hsu

Browse the full ICPADS paper archive.