Alternating automata and temporal logic normal forms (Q2488275)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alternating automata and temporal logic normal forms |
scientific article |
Statements
Alternating automata and temporal logic normal forms (English)
0 references
25 August 2005
0 references
Temporal logic
0 references
Alternating automata
0 references
Specification and verification
0 references
0 references
