Consistency and Interoperability Checking for Component Interaction Rules.

Yan Jin, Jun Han

Browse the full APSEC paper archive.