CSMA/CD协议的形式化描述与验证
CSMA/CD협의적형식화묘술여험증
Formal description and validation of CSMA/CD
저자의 최근 논문