| |
| 2002 | ||
|---|---|---|
| 1 | EE | 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 | Boris Ginsburg | [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] |