TY  - RPRT
TI  - Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT
AU  - Tassilo Horn
PY  - 2013
DO  - 10.4204/eptcs.135.11
UR  - https://arxiv.org/abs/1312.0351
ID  - 1312.0351
ER  -