An Introduction to Timed Automata (Q5496927)
From MaRDI portal
scientific article; zbMATH DE number 6392099
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Introduction to Timed Automata |
scientific article; zbMATH DE number 6392099 |
Statements
An Introduction to Timed Automata (English)
0 references
29 January 2015
0 references
