TITLE     : A semplifield formal operational semantics for a subset of UML statechert diagrams
AUTHOR(S) : Latella D, Massink M, Majzik I
TYPE      : Other
YEAR      : 1998
CODE      : 412440

*** DO NOT EDIT THIS FILE ***