3 ms·
Reactive Systems: Modeling, Development and Analysis
- michaelsbradley 13y agoMany of Prof. Harel's publications over the years are freely accessible online: http://www.wisdom.weizmann.ac.il/~harel/papers.html http://www.wisdom.weizmann.ac.il/~harel/papers.html