2006-book.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2006-book.cite -ob 2006-book.bib -c 'year = 2006 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{caspi06,
  author = {Paul Caspi and Gr\'egoire Hamon and Marc Pouzet},
  editor = {Nicolas Navet},
  title = {Syst\`emes Temps-r\'eel~: Techniques de Description et
                  de V\'erification -- Th\'eorie et Outils},
  chapter = {Lucid Synchrone, un langage de programmation des
                  syst\`emes r\'eactifs},
  publisher = {Hermes},
  volume = {1},
  year = 2006,
  topics = {team},
  x-equipes = {demons PROVAL EXT},
  x-type = {chapitre},
  x-support = {ouvrage},
  pages = {217-260}
}