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