NPTEL Video Course : NOC:Embedded Systems-Design Verification and Test

Lecture 20 - Syntax and Semantics of CTL