On measuring the complexity of an estelle specification

Sun-Jen Huang, Richard Lai. On measuring the complexity of an estelle specification. Journal of Systems and Software, 40(2):165-181, 1998. [doi]

Abstract

Abstract is missing.