2000-report.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2000-report.cite -ob 2000-report.bib -c 'year = 2000 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../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 = {https://usr.lmf.cnrs.fr/~jcf/publis/coqv7.ps.gz},
hal = {https://hal.inria.fr/hal-02890416},
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 = {https://usr.lmf.cnrs.fr/~jcf/publis/hash-consing.ps.gz},
topics = {team, lri},
type_publi = {interne}
}