Events
Go Back
Model Checking in Large-Scale Data Set via Structure-Adaptive-Sampling
- WHEN: 2022-02-21 10:30-11:30
- WHERE: Room 205, Lychee Hills No.1
- ADMISSION: FREE
- AUDIENCE:
- CONTACT:
- MORE INFO: Visit this website
