References of "Proceedings of 3rd IEEE Symposium on Theoretical Aspects of Software Engineering"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailVerification of population ring protocols in PAT
Liu, Y.; Pang, Jun UL; Sun, J. et al

in Proceedings of 3rd IEEE Symposium on Theoretical Aspects of Software Engineering (2009)

Detailed reference viewed: 133 (2 UL)