hr98

T.A. Henzinger, V. Rusu. Reachability verification for hybrid automata. In International Workshop on Hybrid Systems: Computation and Control, LNCS 1386, Pages 190-204, Berkeley, California, USA, 1998.

Contact

Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html

BibTex Reference

@InProceedings{hr98,
   Author = {Henzinger, T.A. and Rusu, V.},
   Title = {Reachability verification for hybrid automata},
   BookTitle = {International Workshop on Hybrid Systems: Computation and Control},
   Pages = {190--204},
   Series = {LNCS 1386},
   Publisher = {Springer Verlag},
   Address = {Berkeley, California, USA},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)