\bibitem{Cousot00-EU-US-Talk}
P{.} Cousot.
\newblock Abstract Interpretation Based Static Analysis of Hybrid and
     Embedded Systems.
\newblock Meeting on Hybrid and Embedded Systems and Video Conference IST
     $<>$ NSF$/$DARPA. Brussels.  24 et 25 Octobre 2000.

@unpublished{Cousot00-EU-US-Talk,
   author =  {Cousot, P{.}},
   title =   {Abstract Interpretation Based Static Analysis of Hybrid and 
              Embedded Systems},
   note =    {Meeting on Hybrid and Embedded Systems and Video Conference 
              IST $<>$ NSF$/$DARPA. Brussels},
   month =   {October 25},
   year =    2000,
}