Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers (Q6488465)
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: Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers |
scientific article; zbMATH DE number 7676982
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers |
scientific article; zbMATH DE number 7676982 |
Statements
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers (English)
0 references
21 April 2023
0 references
0 references
