@InBook{chapterISTE-2022-Fr,
  author = 	 {Collavizza, H. and Bernot, G. and Comet, J.-P.}, 
  ALTeditor = 	 {C. Lhoussaine and E. Remy},
  title = 	 {Approches symboliques de la modélisation et de l’analyse 
                    des systèmes biologiques},
  chapter = 	 {Méthodes de vérification formelle pour la modélisation 
                       en biologie : le cas des réseaux de régulation 
                       biologique}, 
  publisher =  {ISTE, ISBN: 9781789480290, DOI: 10.51926/ISTE.9029.ch8},
  year = 	 {2022},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  pages = 	 {275--335},
  OPTnote = 	 {},
  OPTannote = 	 {}
}