@InBook{chapterISTE-2023-En,
  author = 	 {Collavizza, H. and Bernot, G. and Comet, J.-P.}, 
  ALTeditor = 	 {C. Lhoussaine and E. Remy},
  title = 	 {Symbolic Approaches to Modeling and Analysis of Biological Systems},
  chapter = 	 {Formal Verification Methods for Modeling in Biology:
                  Biological Regulation Networks}, 
  publisher =  {ISTE, ISBN: 978-1-78945-029-3, DOI: 10.1002/9781394229086.ch8},
  year = 	 {2023},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  pages = 	 {255--312},
  OPTnote = 	 {},
  OPTannote = 	 {}
}