Sampled Universality of Timed Automata (Q5758054)
From MaRDI portal
scientific article; zbMATH DE number 5188987
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sampled Universality of Timed Automata |
scientific article; zbMATH DE number 5188987 |
Statements
Sampled Universality of Timed Automata (English)
0 references
7 September 2007
0 references
