Reasoning about Data Repetitions with Counter Systems (Q2818761)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning about Data Repetitions with Counter Systems |
scientific article |
Statements
Reasoning about Data Repetitions with Counter Systems (English)
0 references
8 September 2016
0 references
data-word
0 references
counter systems
0 references
LTL
0 references
