Verification of Asynchronous Systems: Deciding Synchronizability and Beyond

Event
Image(s): 
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: 
Tags: