Surrendra Dudani

According to our database1, Surrendra Dudani authored at least 2 papers between 2001 and 2002.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
High Level Functional Verification Closure.
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

2001
Dynamic Assertions Using TXP.
Proceedings of the Workshop on Runtime Verification, 2001


  Loading...