Login / Signup
Qianqian Lin
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 5
Top Topics
Protocol Specification
Model Checker
Design Thinking
Formal Verification
Top Venues
DSIE
NeuroImage
AHFE (3)
UTP
</>
Publications
</>