退缩检验相关硕士博士期刊学术论文

针对提高优先度通信协议检证时生成协议机状数庞大，使检证难以进行的问题，本文给邮了协议机的退缩检证法，通过将给定协我机的检证问题......