•    
  • Per Page:
  • Sort By:

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

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
2

Problems in computational geometry

Researcher:Ghosh, Subir Kumar
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English
3

Theories and models distributed logic programs

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