An Integrated Algorithm for Probabilistic Protocol Verification and Evaluation.

Dragomir D. Dimitrijevic, Mon-Song Chen

Browse the full INFOCOM paper archive.