@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@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},
}