( en | de | ru )

 

  2. person
  3. Kameshwar Chandrasekar

Kameshwar Chandrasekar

Search-space Aware Learning Techniques for Unbounded Model Checking and Path Delay Testing.
. Virginia Tech, Blacksburg, VA, USA, (2007)base-search.net (ftvirginiatec:oai:vtechworks.lib.vt.edu:10919/27048).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found