@Misc{posterJOBIM2010,
  OPTkey = 	 {},
  author = 	 {Khalis, Z. and Bernot, G. and  Comet, J.-P.},
  title = 	 {Using Hoare logic for constraining parameters of 
                  discrete models of gene networks},
  howpublished = {JOBIM'2010, Montpellier},
  month = 	 {7--9 septembre},
  year = 	 {2010},
  OPTnote = 	 {},
  OPTannote = 	 {}
}