PANG, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Model checking round-based distributed algorithms
Publication date :
2010
Event name :
15th IEEE International Conference on Engineering of Complex Computer Systems
Event date :
2010
Journal title :
Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems
