Reference : Comparative analysis of clustering protocols with probabilistic model checking
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/211
Comparative analysis of clustering protocols with probabilistic model checking
English
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 mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Mauw, Sjouke mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2012
Proc. 6th International Symposium on Theoretical Aspects of Software Engineering
IEEE Computer Society
249-252
Yes
International
978-0-7695-4751-0
6th International Symposium on Theoretical Aspects of Software Engineering (TASE)
2012
Beijing
China
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/211

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
TASE12.pdfAuthor preprint144.97 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.