•    
  • Per Page:
  • Sort By:

Search results for ' ' (0.004 seconds ) Total Hits : 5

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

Proof theory for exception handling in distributed programs

Researcher:Lodaya, Kamal Dhanji
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
4

Compositional verification of distributed programs

Researcher:Pandya, Paritosh Kulin
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
5

Theories and models distributed logic programs

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