@Misc{SEE2003,
  OPTkey = 	 {},
  author = 	 {Bernot, {G.} and Comet, {J.-P.}},
  title = 	 {Logique temporelle et Model-Checking pour les réseaux 
                  de régulation biologiques},
  howpublished = {Club SEE "Systemes Informatiques de Confiance",
                     ENST Paris (France)},
  OPTmonth = 	 {19 juin 2003},
  year = 	 {19 juin 2003},
  OPTnote = 	 {},
  OPTannote = 	 {},
  IBISCkind =    {colloque},
  IBISClang =    {francais},
  IBISCcountry = {France},
  abstract  =    {}
}