Consistency Checking of Statechart Diagrams of a Class Hierarchy.

Vitus S. W. Lam, Julian A. Padget

Browse the full ECOOP paper archive.