Unifying B\"uchi Complementation Constructions (Q4913776)
From MaRDI portal
scientific article; zbMATH DE number 6152243
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unifying B\"uchi Complementation Constructions |
scientific article; zbMATH DE number 6152243 |
Statements
Unifying B\"uchi Complementation Constructions (English)
0 references
9 April 2013
0 references
automata theory
0 references
omega automata
0 references
Büchi automata
0 references
complementation
0 references
model checking
0 references
