NPTEL Video Course : NOC:Model Checking


Lecture 24 - Module 2 - Omega-regular expressions


            


DIGIMAT Digital Learning Platform