Verification of Asynchronous Systems: Deciding Synchronizability and Beyond
Oct 16, 2014 - 3:40 PM
to , -
Location
Speaker:Samik Basu
Verification of Asynchronous Systems: Deciding Synchronizability and Beyond
Date/Time: October 16, 3:40 pm
Location: B29 Atanasoff Hall