An Institution for Simple UML State Machines.

Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer

Browse the full FASE paper archive.