单道批处理系统的建模与验证
단도비처리계통적건모여험증
Modeling and Verification of Batch System
저자의 최근 논문