Protocol conformance checking of component-based systems and service-oriented architectures

Andreas Both. Protocol conformance checking of component-based systems and service-oriented architectures. PhD thesis, Martin Luther University of Halle-Wittenberg, 2010.

Abstract

Abstract is missing.