LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner (Q4558796)
From MaRDI portal
scientific article; zbMATH DE number 6987101
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner |
scientific article; zbMATH DE number 6987101 |
Statements
LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner (English)
0 references
30 November 2018
0 references
linear temporal logic
0 references
business processes
0 references
finite timeline
0 references
