Modeling the Dynamics of UML State Machines (Abstract State Machines‚ Theory and Applications‚ International Workshop‚ ASM 2000‚ Monte Verità‚ Switzerland‚ March 19−24‚ 2000‚ Proceedings, 2000)

(untitled) - Börger, E; Cavarra, A; Riccobene, E