NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 30 - Equivalences between CTL Formulas