O. Roux, V. Rusu, Deciding time-bounded properties for ELECTRE reactive programs with stopwatch automata, in International workshop on Hybrid Systems and Autonomous Control (WHSAC'94), Volume 999 of LNCS, Pages 405-416, Cornell University, Ithaca (New York, USA), 1996.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

BibTex Reference

@InProceedings{roux96,
   Author = {Roux, O. and Rusu, V.},
   Title = {Deciding time-bounded properties for ELECTRE reactive programs with stopwatch automata},
   BookTitle = {International workshop on Hybrid Systems and Autonomous Control (WHSAC'94), Volume 999 of LNCS},
   Pages = {405--416},
   Address = {Cornell University, Ithaca (New York, USA)},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.