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

in Frontiers of Computer Science in China (2008), 2(4), 357367

Detailed reference viewed: 136 (2 UL)
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: 107 (5 UL)