• Per Page:
  • Sort By:

Search results for ' ' (0.002 seconds ) Total Hits : 1

1

Verification of digital systems using linear time temporal logic

Researcher:Gangadharan, Venkatesh
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English