@InBook{chapterLogic2014,
  author = 	 {Gilles Bernot, Jean-Paul Comet, El Houssine Snoussi},
  ALTeditor = 	 {L. Fari\~nas del Cerro and K. Inoue Eds.},
  title = 	 {Logical Modeling of Biological Systems},
  chapter = 	 {Formal methods applied to gene network modelling},
  publisher = 	 {ISTE \& Wiley, ISBN 978-1-84821-680-8},
  year = 	 {2014},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series = 	 {Bioengineering and health science series},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  pages = 	 {245--289},
  OPTnote = 	 {},
  OPTannote = 	 {}
}