| |
| 1990 | ||
|---|---|---|
| 2 | EE | David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16(4): 403-414 (1990) |
| 1988 | ||
| 1 | David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring: STATEMATE; A Working Environment for the Development of Complex Reactive Systems. ICSE 1988: 396-406 | |
| 1 | David Harel | [1] [2] |
| 2 | Hagi Lachover | [1] [2] |
| 3 | Amnon Naamad | [1] [2] |
| 4 | Amir Pnueli | [1] [2] |
| 5 | Rivi Sherman | [1] [2] |
| 6 | Aharon Shtull-Trauring | [1] [2] |
| 7 | Mark B. Trakhtenbrot | [2] |