LTL on finite and process traces: complexity results and a practical reasoner (Q4558796)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: LTL on finite and process traces: complexity results and a practical reasoner |
scientific article; zbMATH DE number 6987101
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8310004472732544
0 references
0.8055272698402405
0 references
0.7998743057250977
0 references
0.7823933959007263
0 references
