Login / Signup
Shengjun Lin
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 3
Top Topics
Pspace Complete
Artificial Immune Algorithm
Formal Verification
Model Checking
Top Venues
ICAIS (2)
SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta
</>
Publications
</>