@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@techreport{LSV:02:3,
author = {Cortier, V{\'e}ronique},
institution = {Laboratoire Sp{\'e}cification et V{\'e}rification,
ENS Cachan, France},
month = mar,
note = {33 pages},
number = {LSV-02-3},
type = {Research Report},
title = {Observational Equivalence and Trace Equivalence in an
Extension of {S}pi-calculus. {A}pplication to
Cryptographic Protocols Analysis. {E}xtended Version},
year = {2002},
rr-lsv-2002-3.rr.ps},
}