Error: Search failed: Error Loading Videos, Kindly Refresh Page

Verifying Parallel And Distributed Systems: The Observer Problem

2021 1:02:47

Invited Talk by Edward A. Lee at the Integrated Formal Methods (iFM) conference, held virtually from Lugano, Switzerland, on Nov.