Li, Qian ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Schaffer, Peter ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SnT)
Pang, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Mauw, Sjouke ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Comparative analysis of clustering protocols with probabilistic model checking
Publication date :
2012
Event name :
6th International Symposium on Theoretical Aspects of Software Engineering (TASE)
Event place :
Beijing, China
Event date :
2012
Audience :
International
Main work title :
Proc. 6th International Symposium on Theoretical Aspects of Software Engineering