Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
A compositional approach to statecharts semantics
FSE, 2000.
@inproceedings{FSE-2000-LuttgenBC,
acmid = "355045.355062",
author = "Gerald Lüttgen and Michael von der Beeck and Rance Cleaveland",
booktitle = "{Proceedings of the Eighth Symposium on Foundations of Software Engineering}",
pages = "120--129",
publisher = "{ACM}",
title = "{A compositional approach to statecharts semantics}",
year = 2000,
}