DBLP Record 'conf/jfplc/ChabrierF03'

BibTeX

@inproceedings{DBLP:conf/jfplc/ChabrierF03,
  author    = {Nathalie Chabrier and
               Fran\c{c}ois Fages},
  title     = {"Model Checking" symbolique de r{\'e}seaux bio-chimiques},
  booktitle = {JFPLC},
  year      = {2003},
  pages     = {155-168},
  crossref  = {DBLP:conf/jfplc/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/2003,
  editor    = {Mireille Ducass{\'e}},
  title     = {Journ{\'e}es Francophones de Programmation en Logique
               avec Contraintes (JFPLC 2003), Amiens, France, du 17 au
               19 Juin 2003},
  booktitle = {JFPLC},
  publisher = {Hermes/Lavoisier},
  year      = {2003},
  isbn      = {2-7462-0739-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}