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

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

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)

This page has been automatically generated using the bib2html program.