References of "Deng, Yuxin"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailOn automatic verification of self-stabilizing population protocols
Pang, Jun UL; Luo, Zhengqin; Deng, Yuxin

in Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE'08) (2008)

Detailed reference viewed: 115 (5 UL)