C.: Protocol specification and analysis (1998)

by G Denker, J Meseguer, Talcott
Venue:in Maude. In: FMSP’98