No label defined (Q4281664)
From MaRDI portal
scientific article; zbMATH DE number 512949
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 512949 |
Statements
10 March 1994
0 references
real-time systems
0 references
Tarski's calculus of relations
0 references
duration calculus
0 references
temporal logics
0 references