A compositional approach to statecharts semantics

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland. A compositional approach to statecharts semantics. In SIGSOFT FSE. pages 120-129, 2000. [doi]

@inproceedings{LuttgenBC00,
  title = {A compositional approach to statecharts semantics},
  author = {Gerald Lüttgen and Michael von der Beeck and Rance Cleaveland},
  year = {2000},
  url = {http://portal.acm.org/citation.cfm?id=355045.355062},
  tags = {semantics, composition, systematic-approach},
  researchr = {https://researchr.org/publication/LuttgenBC00},
  cites = {0},
  citedby = {0},
  pages = {120-129},
  booktitle = {SIGSOFT FSE},
}