STATEMATE; A Working Environment for the Development of Complex Reactive Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In ICSE. pages 396-406, 1988.

Identified as David Harel This author has not been identified. Look up 'Hagi Lachover' in GoogleThis author has not been identified. Look up 'Amnon Naamad' in GoogleIdentified as Amir Pnueli (The Weizmann Institute of Science )This author has not been identified. Look up 'Michal Politi' in GoogleThis author has not been identified. Look up 'Rivi Sherman' in GoogleThis author has not been identified. Look up 'Aharon Shtull-Trauring' in Google

runs on WebDSL