@Misc{posterEcolePorquerolles2016-a,
  OPTkey = 	 {},
  author = 	 {Behaegel, J. and Comet, J.-P. and Folschette, M.},
  title = 	 {A Hybridisation of the Genetically Modified Hoare Logic},
  howpublished = {3ème École thématique de Modélisation Formelle de Réseaux 
                  de Régulation Biologique, Porquerolles, France}, 
  month = 	 {6--10 juin},
  year = 	 {2016},
  OPTnote = 	 {},
  OPTannote = 	 {}
}