No label defined (Q4989408)
From MaRDI portal
scientific article; zbMATH DE number 7350779
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7350779 |
Statements
25 May 2021
0 references
parametric timed automata
0 references
parametric updates
0 references
decidability
0 references
timed automata
0 references
clock regions
0 references
parametric difference bound matrix
0 references