• Title of article

    Timed automata and recognizability

  • Author/Authors

    Philippe Herrmann، نويسنده ,

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 1998
  • Pages
    6
  • From page
    313
  • To page
    318
  • Keywords
    real-time systems , formal languages , Timed automata
  • Journal title
    Information Processing Letters
  • Serial Year
    1998
  • Journal title
    Information Processing Letters
  • Record number

    128856