Sign in
Massimo Verdesca
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Monica Nesi
,
Giuseppina Rucci
,
Massimo Verdesca
A rewriting strategy for protocol verification.
Electron. Notes Theor. Comput. Sci.
86 (4) (2003)