A
[AMP95] Eugene Asarin, Oded Maler et Amir Pnueli. Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theoretical Computer Science 138(1):35-65. Elsevier, 1995. 
@article{tcs138(1)-AMP,
  author =              {Asarin, Eugene and Maler, Oded and Pnueli, Amir},
  title =               {Reachability Analysis of Dynamical Systems Having
                         Piecewise-Constant Derivatives},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {138},
  number =              {1},
  pages =               {35-65},
  year =                {1995},
}
Liste des auteurs