No label defined (Q4493904)
From MaRDI portal
scientific article; zbMATH DE number 1487495
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1487495 |
Statements
16 November 2000
0 references
circuit design
0 references
linear-time temporal logic
0 references
hardware description language
0 references
duration calculus
0 references
