@Misc{inviteMMCS-ECP2013,
  author = 	 {Bernot, {G.} and Comet, {J.-P.} and Khalis, Z. and 
                  Richard, A. and Roux, O.}, 
  title = 	 {An extension of Hoare logic to identify the parameters of
                  gene regulatory networks. },
  howpublished = {Invited talk, Modélisation
      Mathématique des Systèmes Complexes, SMAI \& SMF, Ecole Centrale
      Paris (France)},
  month = 	 {11-13 dec},
  year = 	 {2013},
  abstract  =    {}
}