BibSonomy :: group  :: cisse ::

bookmarks

publications

   

• A theory of timed automata
  Rajeev Alur and David L. Dill Theoretical Computer Science126(2):183--235April1994.
  to union decision graphs pspace muller timing formal acceptance boolean real-time clocks finitely properties problems languages real-valued intersection functions operations problem many universality subclasses systems constraints sequences algorithm closure infinite state-transition timed theory automata buchi finite conditions inclusion language by schaal and 1 other person on Jul 6, 2007, 10:33 AM
  BibTeX