NPTEL Video Course : NOC:Model Checking

Lecture 34 - Module 2 - Semantics of LTL