BibSonomy :: user  :: schaal ::

bookmarks

publications

(1)   

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