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.
No references recorded for this publication.
No citations of this publication recorded.