Introduction to Design Choices in the Semantics of Statecharts

Cornelis Huizing, Willem P. de Roever. Introduction to Design Choices in the Semantics of Statecharts. Inf. Process. Lett., 37(4):205-213, 1991.

Abstract

Abstract is missing.