Pang, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Luo, Zhengqin; Shanghai Jiaotong University
Deng, Yuxin; Shanghai Jiaotong University
External co-authors :
yes
Language :
English
Title :
On automatic verification of self-stabilizing population protocols
Publication date :
2008
Event name :
2nd IEEE Symposium on Theoretical Aspects of Software Engineering
Event date :
2008
Audience :
International
Main work title :
Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE'08)