NPTEL Lecture : 'Syntax and Semantics of CTL – Continued '
Syntax and Semantics of CTL – Continued
Watch Design Verification and Test of Digital VLSI Circuits ('Computer Science and Engineering' course from IIT Guwahati) Video Lectures
by Dr. Santosh Biswas, Prof. Jatindra Kumar Deka.