@InBook{chapterEvry2007,
  author = 	 {Mateus, D. and Comet, J.-P. and Gallois, J.-P. and 
                  Le Gall, P.},
  ALTeditor = 	 {P. Amar, F. K\'ep\`es, V. Norris and P. Tracqui},
  title = 	 {Proc. of the Evry Spring school on Modelling 
                  complex biological systems in the context 
                  of genomics },
  chapter = 	 {Inferring parameters of genetic regulatory 
                  networks with symbolic formal methods},
  publisher =  {EDP Science, ISBN : 978-2-7598-0019-3},
  year = 	 {2007},
  OPTkey = 	 {},
  volume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  pages = 	 {51--70},
  OPTnote = 	 {},
  OPTannote = 	 {}
}