Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol

Ling Shi, Yan Liu 0012. Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol. In Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010 - Companion Volume. pages 143-149, IEEE Computer Society, 2010. [doi]

Authors

Ling Shi

This author has not been identified. Look up 'Ling Shi' in Google

Yan Liu 0012

This author has not been identified. Look up 'Yan Liu 0012' in Google