Decision Making via Model Checking
- Speaker：Jin Song DONG
- Time：2018-01-05（Fri.）14:30-16:00
- Location：Conference room 1008, IPARK A7 Building
Photos please see: http://cse.sustech.edu.cn/cn/news/view/id/556
Photos please see: http://cse.sustech.edu.cn/cn/news/view/id/556
Address：Office 444A, South Tower, CoE Building,SUSTech,1088 Xueyuan Avenue, Nanshan District, Shenzhen 518055, P.R. China