LTL-Specification of Bounded Counter Machines (Q5866317)
From MaRDI portal
scientific article; zbMATH DE number 7589501
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | LTL-Specification of Bounded Counter Machines |
scientific article; zbMATH DE number 7589501 |
Statements
LTL-Specification of Bounded Counter Machines (English)
0 references
21 September 2022
0 references
nonclassical logic
0 references
linear temporal logic
0 references
counter machines
0 references
LTL-specification
0 references
