TP311
National Natural Science Foundation of China (62002310); Major Project of Science and Technology of Yunnan Province (202002AD080002); Yunnan Provincial Natural Science Foundation of China (2019FB135); Yunnan Provincial Open Fund Project of the Software Engineering Key Laboratory (2020SE404); Yunnan University Data-driven Software Engineering Provincial Science and Technology Innovation Team Foundation of China (2017HC012); Yunnan University "Dong Lu Young-backbone Teacher" Training Program of China (C176220200)
朱锐,黄月,金芝,李彤,汤雅惠.基于完全有限前缀展开的行为等价过程树生成算法.软件学报,2021,32(5):1385-1403
Copy