| 1990 | ||
|---|---|---|
| j1 | 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 | ||
| c1 | 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 | |
| 2 | Hagi Lachover | |
| 3 | Amnon Naamad | |
| 4 | Amir Pnueli | |
| 5 | Rivi Sherman | |
| 6 | Aharon Shtull-Trauring | |
| 7 | Mark B. Trakhtenbrot |
Data released under the ODC-BY 1.0 license — See also our legal information page