Event
Speaker:
Samik Basu
Thursday, October 16, 2014 - 3:40pm
Location:
B29 Atanasoff Hall
Event Type:
Verification of Asynchronous Systems: Deciding Synchronizability and Beyond
Date/Time: October 16, 3:40 pm
Location: B29 Atanasoff Hall
Category: