Switching Graphs (Q4982090)
From MaRDI portal
scientific article; zbMATH DE number 6418599
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Switching Graphs |
scientific article; zbMATH DE number 6418599 |
Statements
Switching Graphs (English)
0 references
23 March 2015
0 references
switching graphs
0 references
parity games
0 references
\(\mu\)-calculus
0 references
model checking
0 references
Boolean equation systems
0 references
