| |
| 1997 | ||
|---|---|---|
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal: RuleBase: Model Checking at IBM. CAV 1997: 480-483 | |
| 1 | Ilan Beer | [1] |
| 2 | Shoham Ben-David | [1] |
| 3 | Cindy Eisner | [1] |
| 4 | Daniel Geist | [1] |
| 5 | Leonid Gluhovsky | [1] |
| 6 | Tamir Heyman | [1] |
| 7 | Avner Landver | [1] |
| 8 | P. Paanah | [1] |
| 9 | Yoav Rodeh | [1] |
| 10 | Yaron Wolfsthal (Yaron Wolfstahl) | [1] |