@Misc{miscVICANNE2004,
  OPTkey = 	 {},
  author = 	 {Bernot, G. and Comet, J.-P. and Guespin, J.},
  title = 	 {Mise au point de modèles discrets de réseaux de 
                  régulation biologiques par le model checking, 
                  la mucoidie chez P.aeruginosa},
  howpublished = {Journées Logique temporelle et model checking pour 
                  les réseaux de régulation biologiques, ACI-IMPBio VICANNE},
  OPTmonth = 	 {},
  year = 	 {13-14 septembre 2004, Evry, France},
  OPTnote = 	 {},
  OPTannote = 	 {},
  IBISCkind =    {colloque},
  IBISClang =    {francais},
  IBISCcountry = {France},
  abstract  =    {}
}