Decision Making via Model Checking
- 演讲者：Jin Song DONG
- 时间：2018-01-05（星期五）14:30-16:00
- 地点：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
地址：南方科技大学工学院南楼444A办公室