Pang, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Sun, J.
Zhao, J.
External co-authors :
yes
Language :
English
Title :
Verification of population ring protocols in PAT
Publication date :
2009
Event name :
Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering
Event date :
2009
Audience :
International
Journal title :
Proceedings of 3rd IEEE Symposium on Theoretical Aspects of Software Engineering
