%0 Conference Proceedings
%F roux96
%A Roux, O.
%A Rusu, V.
%T Deciding time-bounded properties for ELECTRE reactive programs with stopwatch automata
%B International workshop on Hybrid Systems and Autonomous Control (WHSAC'94), Volume 999 of LNCS
%P 405-416
%C Cornell University, Ithaca (New York, USA)
%D 1996