Author:
Wang Zhonghai ,Wang Jinxiang ,Ye Yizheng
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automation of FSM Verification Using Formal Tools;2023 International Conference on Communication, Circuits, and Systems (IC3S);2023-05-26
2. Towards Complete State Machine Traversal via Pseudo Transitions in Automated Lab Verification;2022 IEEE International Test Conference India (ITC India);2022-07-24