Proceedings of the 2006 conference on Specification and verification of component-based systems
On-Campus Access Only (IP based access)