Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
0808.0962
Cited By
Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV
7 August 2008
Amin Ansari
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV"
1 / 1 papers shown
Analysis and Enhancements of Leader Elections algorithms in Mobile Ad Hoc Networks
Mohammad H. Al Shayeji
A. R. Al-Azmi
A. Al-Azmi
M. D. Samrajesh
120
2
0
05 Oct 2012
1
Page 1 of 1
