Michael von der Beek

Bibliography

von der Beek, Michael. 2001. “A Concise Compositional Statecharts Semantics Definition.” Unpublished manuscript.
Lüttgen, Gerald, Beek, Michael von der and Cleaveland, Rance. 2000. “A Compositional Approach to Statecharts Semantics.” NASA/CR-2000-210086 ICASE. Hampton, Virginia: NASA Langley Research Center.