@InProceedings{inviteIAMBC2013,
  author = 	 {Comet, J.-P. and Bernot, G.,
  title = 	 {A Hoare logic for gene regulatory networks},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {2nd Workshop on Computational Structural Biology:
Integrative Approaches for Modeling Biomolecular Complexes 2013},
  OPTpages = 	 {},
  year = 	 {2013},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Nice (France)},
  month = 	 {29-31 May 2013},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}