BibSonomy :: group  :: cisse ::

bookmarks

publications

   

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