maler92AUTHOR={Maler

. From Timed to Hybrid Systems. In Real-Time: Theory in Practice, J.W. de Bakker, C. Huizing, W.P. de Roever, G. Rozenberg (eds.), Pages 47-484, 1992.

Référence BibTex

@InProceedings{maler92AUTHOR={Maler,
   Title = {From Timed to Hybrid Systems},
   BookTitle = {Real-Time: Theory in Practice},
   editor = {de Bakker, J.W. and Huizing, C. and de Roever, W.P. and Rozenberg, G.},
   Pages = {47--484},
   Publisher = {LNCS 600, Springer-Verlag},
   Year = {1992}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.