Conference
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.
Authors
Reggio G; Astesiano E; Choppy C; Hußmann H
Editors
Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
1783
Pagination
pp. 127-146
Publisher
Springer
Publication Date
January 1, 2000
ISBN-10
3-540-67261-3
Conference proceedings
FASE