2007-book.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2007-book.cite -ob 2007-book.bib -c 'year = 2007 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inbook{caspi07,
author = {Paul Caspi and Gr\'egoire Hamon and Marc Pouzet},
editor = {Nicolas Navet},
title = {Real-Time Systems: Models and verification --- Theory
and tools},
chapter = {Synchronous Functional Programming with Lucid Synchrone},
publisher = {ISTE},
year = 2007,
type_publi = {chapitre},
type_digiteo = {chapitre},
topics = {team},
x-equipes = {demons PROVAL EXT},
x-type = {chapitre},
x-support = {ouvrage}
}
@incollection{contejean07jpj,
author = {\'Evelyne Contejean},
title = {Modelling permutations in {Coq} for {Coccinelle}},
crossref = {jpj07},
pages = {259--269},
doi = {10.1007/978-3-540-73147-4_13},
abstract = {http://www.lri.fr/~contejea/publis/2007jpj/abstract.html},
type_publi = {chapitre},
type_digiteo = {chapitre},
topics = {team},
x-equipes = {demons PROVAL},
x-type = {chapitre},
x-support = {ouvrage}
}
@incollection{marche07,
topics = {team},
author = {Claude March\'e},
title = {Towards Modular Algebraic Specifications for Pointer Programs: a Case Study},
booktitle = {Rewriting, Computation and Proof},
pages = {235--258},
year = 2007,
x-editor = {Hubert Comon-Lundh and Claude Kirchner and H\'el\`ene Kirchner},
volume = 4600,
series = {Lecture Notes in Computer Science},
type_digiteo = {chapitre},
type_publi = {chapitre},
publisher = {Springer},
x-equipes = {demons PROVAL},
x-type = {chapitre},
x-support = {ouvrage}
}
@proceedings{jpj07,
title = {Rewriting, Computation and Proof},
booktitle = {Rewriting, Computation and Proof},
year = 2007,
editor = {Hubert Comon-Lundth and Claude Kirchner and H{\'e}l{\`e}ne Kirchner},
volume = 4600,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
note = {Jouannaud Festschrift},
isbn = {978-3-540-73146-7}
}