A Formal Semantics of UML: The ASM Approach
A. Cavarra
Address
Ecole Centrale de Nantes‚ France
Book Title
Modelling and Verification of Parallel Processes (MOVEP'2k)
Editor
F. Cassez and C. Jard and B. Rozoy and M. Ryan
Month
JUN
Year
2000
A. Cavarra