Travelled to:
1 × United Kingdom
Collaborated with:
A.Knapp T.Mossakowski M.Roggenbach
Talks about:
institut (1) machin (1) state (1) simpl (1) uml (1)
Person: Martin Glauer
DBLP: Glauer:Martin
Contributed to:
Wrote 1 papers:
- FASE-2015-KnappMRG #state machine #uml
- An Institution for Simple UML State Machines (AK, TM, MR, MG), pp. 3–18.