Some Decidability Results for Asynchronous System Verification

Event
Image(s): 
Speaker: 
Samik Basu
Thursday, October 24, 2013 - 3:40pm
Location: 
B29 Atanasoff Hall​
Event Type: 

Some Decidability Results for Asynchronous System Verification

Date/Time: October 24, 3:40 pm
Location: B29 Atanasoff Hall​

Category: 
Tags: