Siphon-Based Verification of Component Compatibility

Wlodek M. Zuberek. Siphon-Based Verification of Component Compatibility. In Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009. pages 123-132, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.