Order Independent Temporal Properties (Q4820468)
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: Order Independent Temporal Properties |
scientific article; zbMATH DE number 2108058
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Order Independent Temporal Properties |
scientific article; zbMATH DE number 2108058 |
Statements
Order Independent Temporal Properties (English)
0 references
15 October 2004
0 references
Database
0 references
expressiveness
0 references
query languages
0 references
temporal logic
0 references
