@TechReport{RR2003-1,
  author =	 {Bernot, G. and Comet, J.-P. and Richard, A. and 
                  Guespin-Michel, J.},
  title =	 {A Fruitful Application of Formal Methods to 
                  Biological Regulatory Networks~:
                  extending {T}homas' logical approach with temporal logic},
  institution =	 {LaMI, Universit\'{e}
                  d'Evry-Val-d'Essonne},
  year =	 2003,
  IBISCkind =    {rapport},
  IBISClang =    {english},
  abstract  =    {}
}