-
Selection by year
-
Selection by authors
-
Complete lists
roux96
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.
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)