- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |