Ambarish Sridharanarayanan

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

The Maude LTL Model Checker and Its Implementation.

Steven Eker, José Meseguer, Ambarish Sridharanarayanan

Proceedings of the Model Checking Software, 2003

2002

The Maude LTL Model Checker.

Steven Eker, José Meseguer, Ambarish Sridharanarayanan

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002