NPTEL Video Course : NOC:Model Checking

Lecture 50 - Module 1 - Introduction to BDDs