- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 1 |      | Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS 2002: 296-211 |
| 1 | Roy Armoni | [1] |
| 2 | Limor Fix | [1] |
| 3 | Alon Flaisher | [1] |
| 4 | Rob Gerth | [1] |
| 5 | Tomer Kanza | [1] |
| 6 | Avner Landver | [1] |
| 7 | Sela Mador-Haim | [1] |
| 8 | Eli Singerman | [1] |
| 9 | Andreas Tiemeyer | [1] |
| 10 | Moshe Y. Vardi | [1] |
| 11 | Yael Zbar | [1] |