Checking Protocol Compatibility using Maude

Francisco Durán, Meriem Ouederni, Gwen Salaün. Checking Protocol Compatibility using Maude. Electronic Notes in Theoretical Computer Science, 255:65-81, 2009. [doi]

Abstract

Abstract is missing.