1
Publications
14
Citations
1
H-Index
1999
Active since
Affiliations
Indian Institute of Technology Delhi(Current)
G.S. Gursaran is an author at Indian Institute of Technology Delhi specializing in verification, automated reasoning, and knowledge discovery.
Top concepts
EngineeringSemantic WebVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationKnowledge Discovery
Publications per year
1999–1999
1
1
Rows per page
1–1 of 1