BibSonomy :: user  :: schaal ::

bookmarks

publications

(1)   

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