Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Mon 15 Jul 2019 14:00 - 14:30 at Meeting Room 4 - Session 3 - Model Checking

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 14:30
Talk
26th International SPIN Symposium on Model Checking of Software
Patrick Metzler, Neeraj Suri, Georg WeissenbacherTechnische Universit├Ąt Wien
14:30 - 15:00
Talk
26th International SPIN Symposium on Model Checking of Software
15:00 - 15:30
Talk
26th International SPIN Symposium on Model Checking of Software
Omar BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia