P. Paanah

According to our database, P. Paanah authored at least 1 paper in 1997.

Collaborative distances:

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

1997

RuleBase: Model Checking at IBM.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 9th International Conference, 1997