boniol97

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.

Contact

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

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)