Login / Signup
Thao Nguyen Van
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Model Checking
Formal Verification
Multi Agent Systems
Timed Automata
Top Venues
SoICT
ICCASA/ICTCC
</>
Publications
</>