Reducing Quasi-Equal Clocks in Networks of Timed Automata (Q4649393)
From MaRDI portal
scientific article; zbMATH DE number 6109500
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reducing Quasi-Equal Clocks in Networks of Timed Automata |
scientific article; zbMATH DE number 6109500 |
Statements
Reducing Quasi-Equal Clocks in Networks of Timed Automata (English)
0 references
21 November 2012
0 references
