Vivek G. Naik

According to our database, Vivek G. Naik authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking.

Vivek G. Naik, A. Prasad Sistla

Proceedings of the Computer Aided Verification, 6th International Conference, 1994