STATEMATE: A Working Environment for the Development of Complex Reactive Systems (1990)

Cached

Download Links

by David Harel , Hagi Lachover , Amnon Naamad , Amir Pnueli , Michal Politi , Rivi Sherman , Aharon Shtull-trauring , Mark Trakhtenbrot
Venue:IEEE Transactions on Software Engineering
Citations:401 - 6 self