@Misc{inviteBC03,
  author = 	 {Bernot, {G.} and Comet, {J.-P.}},
  title = 	 {Logique temporelle et Model-Checking pour 
                  les réseaux de régulation biologiques. },
  howpublished = {3èmes Journées de Post-Génomique de la Doua (JPGD'03), 
                  Lyon (France)},
  month = 	 {14-16 mai},
  year = 	 {2003},
  IBISCkind =    {invite},
  IBISClang =    {francais},
  IBISCcountry = {France},
  abstract  =    {}
}