Statecharts: From Visual Syntax to Model-Theoretic Semantics

Gerald Lüttgen, Michael Mendler. Statecharts: From Visual Syntax to Model-Theoretic Semantics. In GI Jahrestagung (2). pages 615-621, 2001.

Abstract

Abstract is missing.