@Misc{rabat2011,
  OPTkey = 	 {},
  author = 	 {Bernot, G. and Comet, J.-P. and Khalis, Z.},
  title = 	 {Une extension de la logique de Hoare pour les 
                  réseaux génétique},
  howpublished = {Rencontre scientifique "<<~Formalisme logique, 
                  apports et défis pour la modélisation
                  de réseaux de régulation biologique~>>, 
                  Rabat, Maroc, 12-15 avril 2011. },
  OPTmonth = 	 {},
  OPTyear = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}