Shubham Parmar

According to our database, Shubham Parmar authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Statistical Model Checking for Traffic Models.

Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021