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}
}