@InBook{chapterFormalMethods2006,
  author = 	 {Richard, A. and Comet, J.-P. and Bernot, G.},
  editor = 	 {Gabbar, H.A. },
  title = 	 {Modern Formal Methods and Applications},
  chapter = 	 {Formal Methods for Modeling Biological Regulatory Networks},
  publisher = 	 {Springer, ISBN: 1-4020-4222-1},
  year = 	 {2006},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  pages = 	 {83--122},
  OPTnote = 	 {},
  OPTannote = 	 {},
  IBISCkind =    {chapitre},
  IBISClang =    {english},
  abstract  =    {}
}