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]
Abstract is missing.