Lüttgen, GeraldGeraldLüttgen0000-0002-0925-4870Mendler, MichaelMichaelMendler2019-09-192014-09-242003https://fis.uni-bamberg.de/handle/uniba/9775engStatecharts: from visual syntax to model-theoretic semanticsconferenceobject