F. Boniol, A. Burgueno, O. Roux, V. Rusu, Analysis of slope-parametric hybrid automata, in International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS, Pages 75-81, Grenoble, France, 1997.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

BibTex Reference

@InProceedings{boniol97,
   Author = {Boniol, F. and Burgueno, A. and Roux, O. and Rusu, V.},
   Title = {Analysis of slope-parametric hybrid automata},
   BookTitle = {International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS},
   Pages = {75--81},
   Address = {Grenoble, France},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.