@Misc{inviteSGF2006,
  OPTkey = 	 {},
  author = 	 {Bernot, G. and Comet, J.-P. and Guespin, J. },
  title = 	 {Using Formal Temporal Logic to Model Biological 
                  Regulatory Networks and to Propose New Wet Experiments},
  howpublished = {abstract in Proc. of SGF annual meeting,
                  Genetics meets Systems Biology: Theory and Practice, p.17},
  OPTmonth = 	 {},
  year = 	 {Paris, November 13-15, 2006},
  OPTnote = 	 {},
  OPTannote = 	 {}
}