Compositional reachability analysis using process algebra. (1991)

by W J Yeh, M Young
Venue:In Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4),