An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions (Q5194653)
From MaRDI portal
scientific article; zbMATH DE number 7105596
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions |
scientific article; zbMATH DE number 7105596 |
Statements
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions (English)
0 references
16 September 2019
0 references
