|
[YK10]
Haidi Yue and Joost-Pieter Katoen.
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption.
In Proc. 17th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'10) , volume 6148 of LNCS, pages 247–261, Springer.
2010.
[Analyses a randomised leader election protocol using PRISM.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|