M. Shalev

According to our database, M. Shalev authored at least 1 paper in 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1991

What is in a Step: On the Semantics of Statecharts.

Amir Pnueli, M. Shalev

Proceedings of the Theoretical Aspects of Computer Software, 1991