| 2000 | ||
|---|---|---|
| 1 | Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV 2000: 538-542 | |
| 1 | Ilan Beer | [1] |
| 2 | Leonid Gluhovsky | [1] |
| 3 | Sharon Keidar | [1] |
| 4 | Yaron Wolfsthal (Yaron Wolfstahl) | [1] |