Sumit Jha Aanand

According to our database, Sumit Jha Aanand authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.

Xuandong Li, Sumit Jha Aanand, Lei Bu

Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006