Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966)
From MaRDI portal
scientific article; zbMATH DE number 6457591
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Discretization of Timed Automata in Timed μCRL à la Regions and Zones |
scientific article; zbMATH DE number 6457591 |
Statements
Discretization of Timed Automata in Timed μCRL à la Regions and Zones (English)
0 references
10 July 2015
0 references
timed automata
0 references
discretization
0 references
timed \(\mu\)CRL
0 references
coordinate transformation
0 references
abstraction
0 references
