@inproceedings {graics_molnar_minisy17, title = {Formal Compositional Semantics for Yakindu Statecharts}, booktitle = {Proceedings of the 24th PhD Mini-Symposium}, year = {2017}, pages = {22{\textendash}25}, address = {Budapest, Hungary}, isbn = {978-963-313-243-2}, author = {Bence Graics and Vince Moln{\'a}r}, editor = {Pataki, B{\'e}la} }