Aharon Shtull-Trauring

Publication Activity (10 Years)

Years Active: 1988-1990
Publications (10 Years): 0

Publications

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) (1990)
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)