id: 05416420
dt: j
an: 05416420
au: Nesi, Monica; Rucci, Giuseppina; Verdesca, Massimo
ti: A rewriting strategy for protocol verification.
so: Electron. Notes Theor. Comput. Sci. 86, No. 4 (2003).
py: 2003
pu: Elsevier, Amsterdam
la: EN
cc: 
ut: 
ci: 
li: doi:10.1016/S1571-0661(05)82616-7