Aharon Shtull-Trauring

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

Coauthor Index

1	David Harel	[1] [2]
2	Hagi Lachover	[1] [2]
3	Amnon Naamad	[1] [2]
4	Amir Pnueli	[1] [2]
5	Michal Politi	[1] [2]
6	Rivi Sherman	[1] [2]
7	Mark B. Trakhtenbrot	[2]