References of "Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailModel checking round-based distributed algorithms
An, X.; Pang, Jun UL

in Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems (2010)

Detailed reference viewed: 100 (1 UL)