Writing review for Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture

Association for Computing Machinery (ACM)

via YouTube

Your review helps other learners like you discover great courses. Only review the course if you have taken or started taking this course.

Cancel