Ambarish Sridharanarayanan

According to our database1, Ambarish Sridharanarayanan authored at least 2 papers between 2002 and 2003.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
The Maude LTL Model Checker and Its Implementation.
Proceedings of the Model Checking Software, 2003

2002
The Maude LTL Model Checker.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002


  Loading...