EECS 20 Lecture 13 (February 14, 2001) Tom Henzinger Minimization.
EECS 20 Lecture 7 (January 31, 2001) Tom Henzinger Reactive Systems.
EECS 20 Lecture 4 (January 24, 2001) Tom Henzinger Block Diagrams.