Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
Liyun Dai | Synapse
LD
Liyun Dai
Formal Methods in Verification
Hebei Agricultural University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
42 pubs · 292 cites · h-index 9
Affiliations
Hebei Agricultural University
Electric Power Research Institute
Ningxia Water Conservancy
See all
Publications