Nested timed automata with frozen clocks (Q2945595)

From MaRDI portal





scientific article; zbMATH DE number 6481830
Language Label Description Also known as
default for all languages
No label defined
    English
    Nested timed automata with frozen clocks
    scientific article; zbMATH DE number 6481830

      Statements

      Nested Timed Automata with Frozen Clocks (English)
      0 references
      0 references
      0 references
      0 references
      14 September 2015
      0 references

      Identifiers