A Counting Logic for Structure Transition Systems (Q4649559)
From MaRDI portal
scientific article; zbMATH DE number 6109845
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Counting Logic for Structure Transition Systems |
scientific article; zbMATH DE number 6109845 |
Statements
22 November 2012
0 references
logic in computer science
0 references
quantitative logics
0 references
model checking
0 references
A Counting Logic for Structure Transition Systems (English)
0 references
