%0 Conference Proceedings %F 1070272 %A Hamid, Brahim %A Mosbah, Mohamed %T An Automatic Approach to Self-Stabilization %B SNPD-SAWN '05: Proceedings of the Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Networks %P 123-128 %I IEEE Computer Society %C Washington, DC, USA %U http://portal.acm.org/citation.cfm?id=1070272# %D 2005