Pragyesh

According to our database, Pragyesh authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Local Search in Model Checking.

A. W. Roscoe, Philip J. Armstrong, Pragyesh

Proceedings of the Automated Technology for Verification and Analysis, 2009