2014 International SPIN Symposium on Model Checking of Software (SPIN), July 21–23, 2014, San Jose, CA, USA

Desktop Layout
Mon, July 21, 2014
10:30 – 11:50
Concurrent, Synchronous, and Asynchronous Systems
SPIN
Santa Clara Room, Chair: Willem Visser

Time stamp: 2019-10-15T03:04:53+02:00