Skip to content

On Compatibility and Behavioural Substitutability of Component Protocols.

Nabil Hameurlain

VenueBSEFM
Year2005
ProceedingsSEFM

Browse the full SEFM paper archive.