MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Updatable timed automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Are Timed Automata Updatable?  
  • by Patricia Bouyer, Catherine Dufourd, E. Fleury, A. Petit, Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit — 2000
  • …P. Bouyer, C. Dufourd, E. Fleury and A. Petit Are Timed Automata Updatable? Research Report LSV…
  • Cited by 29 (10 self) – Add To MetaCart
  • Logic and Algebra in Concurrency  
  • by Manfred Droste, Technische Universit At Dresden — 2000
  • … Automata Research Thursday, Sep 14 9:00-10:00 A. Petit (Cachan): Updatable timed automata 10:40-11:40 D…
  • Add To MetaCart
  • Timed Automata May Cause Some Troubles  
  • by Patricia Bouyer, Patricia Bouyer — 2002 — Research Report LSV--02--9, LSV, ENS de
  • …: (updatable) timed automata, forward analysis algorithm, widening operator, correctness, data structure 1…
  • Cited by 2 (1 self) – Add To MetaCart
  • unknown title  
  • by unknown authors
  • …], their generalizations such as multirate automata [2, 30], some kinds of updatable timed automata [12, 13…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB