1 |
S. Vasudevan, et..al., "Design and Analysis of a Leader Election Algorithm for Mobile Ad hoc Networks," Proceeding of the IEEE 12th International Conference on Network Procotols, pp.350-360, 2004.
DOI
|
2 |
Zohar Manna and Amir Puneli, Temporal Verification of Reactive Systems: Safety, Springer-Verlag, 1995.
|
3 |
Edward Chang, Zohar Manna, Amir Puneli, "The Safety-Progress Classification," In Logic, Algebra and Computation, NATO ASI Series, Subseries F: Computer and System Sciences, Springer-Verlag, 1992.
|
4 |
Orhan Dagdeviren, Kayhan Erciyes, "A Hierarchical Leader Election Protocol for Mobile Ad hoc Networks," Proceeding of the 8th International Conference on Computational Science, 2008.
|
5 |
김영란, et al., "모바일 ad hoc 네트워크 시스템하에서 선출 알고리즘의 명세 및 증명," 멀티미디어학회논문지 제13권 제7호, pp.950-959, 2010.
과학기술학회마을
|
6 |
Zygmunt J. Haas, et. al., Wireless Ad Hoc Networks, Perkins, Charlies Ed., AD HOC NETWORKING, pp. 221-225, Addison Wesley, 2001.
|
7 |
David Powell, guest editor, "Special section on group communication," Communications of the ACM, Vol.39, No. 4, pp.50-97, April 1996.
DOI
ScienceOn
|
8 |
Vijay K. Garg, Elements of Distributed Computing, Wiley Interscience, 2002.
|