logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

PengKun Li

Beijing University of Technology

1H-index
3Paper Count
6Citation Count
Published Papers 1
Publication Date
logo
Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains
errIEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS
IF4.9
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
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
X
Xiaohong Peng
H-index: 18 · Papers: 231
S
Shuqin Geng
H-index: 9 · Papers: 63
Z
Zhonghou Zhang
H-index: 7 · Papers: 28
王文思 cover
王文思 (Wensi Wang)
H-index: 4 · Papers: 9
M
Menghao Chu
H-index: 3 · Papers: 6
View more