Publications

Refinement of Statecharts with Run-to-completion Semantics

Morris Wright, Karla V.; Snook, Colin S.; Hoang, Thai S.; Armstrong, Robert C.; Butler, Michael B.

Abstract not provided.