A Theory of Timed Automata

Author(s)

Journal

  • Theoretical Computer Science

    Theoretical Computer Science 125, 183-235, 1994

Cited by:  2

Codes

  • NII Article ID (NAID)
    10013533039
  • Article Type
    Journal Article
  • Data Source
    CJPref 
Page Top