A generic framework for n-protocol compatibility checking

Francisco Durán, Meriem Ouederni, Gwen Salaün. A generic framework for n-protocol compatibility checking. Science of Computer Programming, 77(7-8):870-886, 2012. [doi]

Abstract

Abstract is missing.