Temporal logics of repeating values (Q3165752)
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: Temporal logics of repeating values |
scientific article; zbMATH DE number 6095693
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Temporal logics of repeating values |
scientific article; zbMATH DE number 6095693 |
Statements
Temporal Logics of Repeating Values (English)
0 references
19 October 2012
0 references
temporal logics
0 references
freeze quantifier
0 references
logical methods in program verification
0 references
0.973206102848053
0 references
0.7919473052024841
0 references
0.7855995893478394
0 references
0.7844375371932983
0 references
0.7837203145027161
0 references
