![]() | ![]() |
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] |