No label defined (Q4213375)
From MaRDI portal
scientific article; zbMATH DE number 1210359
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1210359 |
Statements
2 February 1999
0 references
proof rule for control loops
0 references
verification of loops
0 references
temporal algebra
0 references
measures
0 references
durations
0 references