H
[HR00] Thomas A. Henzinger et Jean-François Raskin. Robust Undecidability of Timed and Hybrid Systems. In HSCC'00, Lecture Notes in Computer Science 1790, pages 145-159. Springer-Verlag, mars 2000. 
@inproceedings{hscc2000-HR,
  author =              {Henzinger, Thomas A. and Raskin, Jean-Fran{\c c}ois},
  title =               {Robust Undecidability of Timed and Hybrid Systems},
  editor =              {Lynch, Nancy and Krogh, Bruce H.},
  booktitle =           {{P}roceedings of the 3rd {I}nternational {W}orkshop
                         on {H}ybrid {S}ystems: {C}omputation and {C}ontrol
                         ({HSCC}'00)},
  acronym =             {{HSCC}'00},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1790},
  pages =               {145-159},
  year =                {2000},
  month =               mar,
  doi =                 {10.1007/3-540-46430-1_15},
}
Liste des auteurs