2000-report.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc 2000-report.cite -ob 2000-report.bib -c 'year = 2000 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/biblio/crossrefs.bib}}
@techreport{modelpa2000,
  author = {B. B{\'e}rard and P. Cast{\'e}ran and E. Fleury and
                  L. Fribourg and J.-F. Monin and C. Paulin and A. Petit
                  and D. Rouillard},
  title = {Automates temporis{\'e}s CALIFE},
  institution = {Calife},
  year = 2000,
  topics = {team},
  type_publi = {rapport},
  type = {Fourniture {F1.1}}
}
@techreport{CaFrPaRo2000,
  author = {P. Cast\'eran and E. Freund and C. Paulin and D. Rouillard},
  title = {Biblioth\`eques Coq et Isabelle-HOL pour les syst\`emes
                 de transitions et les p-automates},
  institution = {Calife},
  year = 2000,
  topics = {team},
  type_publi = {rapport},
  type = {Fourniture {F5.4}}
}
@techreport{Filliatre00rr1,
  author = {Jean-Christophe Filli\^atre},
  title = {{Design of a proof assistant: Coq version 7}},
  institution = {{LRI, Universit\'e Paris Sud}},
  type = {{Research Report}},
  number = 1369,
  month = oct,
  year = 2000,
  url = {http://www.lri.fr/~filliatr/ftp/publis/coqv7.ps.gz},
  topics = {team, lri},
  type_publi = {interne}
}
@techreport{Filliatre00rr2,
  author = {Jean-Christophe Filli\^atre},
  title = {{Hash consing in an ML framework}},
  institution = {{LRI, Universit\'e Paris Sud}},
  type = {{Research Report}},
  number = 1368,
  month = {September},
  year = 2000,
  url = {http://www.lri.fr/~filliatr/ftp/publis/hash-consing.ps.gz},
  topics = {team, lri},
  type_publi = {interne}
}