北京邮电大学学报

  • EI核心期刊
输出一致替换性划分在化简时序机中的应用
冷荣泉
北京邮电大学学报 . 1985, (4): 1 -7 .