Protocol Specification and Analysis in Maude (1998)

by G Denker, J Meseguer, C Talcott
Venue:In Proc. 2nd WRLA Workshop, Pont à Mousson