@InProceedings{confTIME2017,
  author = 	 {Behaegel, J. and Comet, J.-P. and 
                  Folschette, F.},
  title = 	 {Constraint Identification Using Modified Hoare Logic 
                  on Hybrid Models of Gene Networks}, 
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the 24th International Symposium on 
               Temporal Representation and Reasoning (TIME)},
  year = 	 {2017},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  pages = 	 {5:1--5:21},
  month = 	 {October 16th to 18th 2017},
  OPTaddress = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {},
  doi = {http://drops.dagstuhl.de/opus/volltexte/2017/7920/}
}