1 | |
Researcher: | Venkatesh, Prabha |
Guide: | Prasad, C R |
University: | Bangalore University |
Language: | English |
2 | Verification of digital systems using linear time temporal logic |
Researcher: | Gangadharan, Venkatesh |
Guide: | Shyamsundar, R K |
University: | Tata Institute of Fundamental Research |
Language: | English |