An Alternative Definition for Timed Automata Composition (Q3172908)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An Alternative Definition for Timed Automata Composition |
scientific article |
Statements
An Alternative Definition for Timed Automata Composition (English)
0 references
7 October 2011
0 references
composition
0 references
refinement
0 references
timed automata
0 references