@conference {12774,
	title = {Statecharts via process algebra},
	booktitle = {CONCUR{\textquoteright}99: concurrency theory: 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999: proceedings},
	year = {1999},
	month = {1999///},
	pages = {399 - 399},
	author = {Liittgen,G. and Cleaveland, Rance}
}
