PANG, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Sun, J.
Zhao, J.
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Verification of population ring protocols in PAT
Date de publication/diffusion :
2009
Nom de la manifestation :
Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering
Date de la manifestation :
2009
Manifestation à portée :
International
Titre du périodique :
Proceedings of 3rd IEEE Symposium on Theoretical Aspects of Software Engineering
