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
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
On automatic verification of self-stabilizing population protocols
Date de publication/diffusion :
2008
Nom de la manifestation :
2nd IEEE Symposium on Theoretical Aspects of Software Engineering
Date de la manifestation :
2008
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE'08)
