CMP1协议的符号模型检验分析
CMP1협의적부호모형검험분석
Symbolic model checking analysis for CMP1 protocol
저자의 최근 논문