arrow
返回
P

PengKun Li

Beijing University of Technology

1H指数
3论文数
6被引数
收录论文 1
发表时间
Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains
err2021-01-01
err1
PREAI
errZhang, Mingming; Geng, Shuqin; Wang, Wensi; Peng, Xiaohong; Chu, Menghao; Zhou, Shengyuan; Zhang, Zhonghou; Lu, Hang; Li, Pengkun; Zhu, Ronghao
err分享
err收藏