References of "Sun, J"
     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 Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering (2009)

Detailed reference viewed: 102 (1 UL)
Full Text
Peer Reviewed
See detailPAT: Towards flexible verification under fairness
Sun, J.; Liu, Y.; Dong, J.-S. et al

in Proc. 21th International Conference on Computer Aided Verification (2009)

Detailed reference viewed: 189 (1 UL)