Specification matching of state-based modular components (2003)

by D Hemer
Venue:In Proceedings of the APSEC’03. IEEE Computer Society