R. Sherman (sherman-r)

Contributions to Philosophie.ch

Bibliography

Harel, David, Pnuelli, Amir, Schmidt, J. P. and Sherman, R. 1987. “On the Formal Semantics of Statecharts.” in IEEE Proceedings of the Second IEEE Symposium on Logic in Computation, pp. 54–64. New York: IEEE Computer Science Press.