2006-report.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2006-report.cite -ob 2006-report.bib -c 'year = 2006 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}}

@mastersthesis{bertails06master,
  author = {Alexandre Bertails},
  title = {Langages synchrones avec horloges p\'eriodiques},
  school = {Master Parisien de Recherche en Informatique},
  month = sep,
  year = 2006,
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport},
  x-pdf = {http://www.lri.fr/~bertails/misc/master_thesis.pdf},
  url = {http://www.lri.fr/~bertails/misc/master_thesis.pdf}
}

@techreport{Filliatre06rr1,
  author = {Jean-Christophe Filli\^atre},
  title = {{Backtracking iterators}},
  institution = {{LRI, Universit\'e Paris Sud}},
  type = {{Research Report}},
  number = 1428,
  month = jan,
  year = 2006,
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/enum-rr.ps.gz},
  topics = {team, lri},
  type_publi = {interne},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {rapport}
}

@techreport{Mandel2006Assert4322,
  key = {D432-2},
  author = {Louis Mandel},
  title = {Prototype of {AADL} simulation in {SCADE}},
  type = {{ASSERT} Deliverable 4.3.2-2},
  institution = {ASSERT Project},
  month = nov,
  year = 2006,
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {contrat},
  x-support = {rapport}
}

@techreport{Mandel2006Assert4321,
  key = {D432-1},
  author = {Louis Mandel},
  title = {Report on modeling {GALS} in {SCADE}},
  type = {{ASSERT} Deliverable 4.3.2-1},
  institution = {ASSERT Project},
  month = feb,
  year = 2006,
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {contrat},
  x-support = {rapport}
}

@techreport{paulinrandom06,
  author = {Christine Paulin-Mohring},
  title = {A library for reasoning on randomized algorithms in {Coq}},
  institution = {Universit\'e Paris Sud},
  topics = {team},
  year = 2006,
  month = jan,
  type = {Description of a {Coq} contribution},
  x-pdf = {http://www.lri.fr/~paulin/ALEA/library.pdf},
  url = {http://www.lri.fr/~paulin/ALEA/library.pdf},
  note = {\url{http://www.lri.fr/~paulin/ALEA/library.pdf}},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion}
}

@techreport{signoles06semrfn,
  author = {Julien Signoles},
  title = {{Towards a ML extension with Refinement: a Semantic Issue}},
  year = 2006,
  month = mar,
  institution = {LRI, University of Paris Sud},
  number = 1440,
  url = {http://www.lri.fr/~signoles/publis/signoles06semrfn.pdf},
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {rapport}
}

@manual{lucy:manual06,
  author = {Marc Pouzet},
  title = {{Lucid Synchrone}, version 3.
                   Tutorial and reference manual},
  organization = {Universit\'e Paris-Sud, LRI},
  month = apr,
  year = 2006,
  topics = {team},
  type_publi = {autre},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion},
  url = {http://www.lri.fr/~pouzet/lucid-synchrone}
}

@mastersthesis{lescuyer06master,
  author = {St\'ephane Lescuyer},
  title = {Codage de la logique du premier ordre polymorphe multi-sort\'ee
dans la logique sans sortes},
  school = {Master Parisien de Recherche en Informatique},
  topics = {team},
  type_publi = {rapport},
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport},
  year = 2006
}

@manual{CoqManualV81,
  author = {{The {Coq} Development Team}},
  title = {{The Coq Proof Assistant Reference Manual -- Version V8.1}},
  year = 2006,
  month = jul,
  url = {http://coq.inria.fr},
  note = {\url{http://coq.inria.fr}},
  topics = {team,lri},
  type_publi = {manuel},
  x-equipes = {demons PROVAL EXT},
  x-type = {manuel},
  x-support = {diffusion}
}