NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 29 - Syntax and semantics of CTL (Continued...)