The Common Fragment of ACTL and LTL (Q5458358)
From MaRDI portal
scientific article; zbMATH DE number 5262407
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Common Fragment of ACTL and LTL |
scientific article; zbMATH DE number 5262407 |
Statements
The Common Fragment of ACTL and LTL (English)
0 references
11 April 2008
0 references
