Embedding theorems for LTL and its variants (Q5740619)
From MaRDI portal
scientific article; zbMATH DE number 6606906
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Embedding theorems for LTL and its variants |
scientific article; zbMATH DE number 6606906 |
Statements
Embedding theorems for LTL and its variants (English)
0 references
27 July 2016
0 references
