Comparative Analysis of Clustering Protocols with Probabilistic Model Checking.

Qian Li, Pter Schaffer, Jun Pang, Sjouke Mauw

Browse the full TASE paper archive.