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

Lecture 19 - Introduction and Basic Operators of Temporal Logic