People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
PhD Student Centre for Formal Design and Verification of Software (CFDVS) Department of Computer Science and Engineering Email: seetha[@]cse[.]iitb[.]ac[.]in
S.D. Dhodapkar: sdd@barc.gov.in: Seetha Jayasankar: seetha@cse.iitb.ac.in: Simoni Shah: simoni@tcs.tifr.res.in: Srivathsan: srivathsan@cse.iitb.ac.in
Seetha Jayasankar: Reachability Analysis of Large Sequential Circuits : Abhisekh Sankaran: Topics in Logic and Model Theory : Ajith K. John: On Searching Very Large State Spaces for Formal ...
Seetha Jayasankar and Supratik Chakraborty. LREs: A Framework For Guiding Symbolic Reachability Analysis , Technical Report No. TR-07-23. — Technical Reports 2005-2006
Authors: Seetha Jayasankar, Supratik Chakraborty; Title: Timed Automata with Integer Resets; Authors: P. Vijay Suman, Paritosh K. Pandya, S. Krishna, Lakshmi Manasa
PhD Student Centre for Formal Design and Verification of Software (CFDVS) Department of Computer Science and Engineering Email: seetha[@]cse[.]iitb[.]ac[.]in
S.D. Dhodapkar: sdd@barc.gov.in: Seetha Jayasankar: seetha@cse.iitb.ac.in: Simoni Shah: simoni@tcs.tifr.res.in: Srivathsan: srivathsan@cse.iitb.ac.in
Seetha Jayasankar and Supratik Chakraborty. LREs: A Framework For Guiding Symbolic Reachability Analysis , Technical Report No. TR-07-23. Technical Reports 2005-2006
Linkedin