S
teffen
H
elke
E-Mails 📧
ed
.
nilreb-ut
.
sc
@
ekleh
Entries
2010
Formalizing Statecharts using Hierarchical Automata
by
Steffen Helke
and
Florian Kammüller
Aug 08