基于π演算的网络考试系统动态建模研究
기우π연산적망락고시계통동태건모연구
Research on Dynamic Modeling of Network Examination System Based on π-Calcuse
저자의 최근 논문