Compositional specification of timed systems (Q4593944)
From MaRDI portal
scientific article; zbMATH DE number 6807567
Language | Label | Description | Also known as |
---|---|---|---|
English | Compositional specification of timed systems |
scientific article; zbMATH DE number 6807567 |
Statements
Compositional specification of timed systems (English)
0 references
16 November 2017
0 references