Some Decidability Results for Asynchronous System Verification

Event

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: