✦ LIBER ✦
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
✍ Scribed by Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
- Book ID
- 118181224
- Publisher
- Society for Industrial and Applied Mathematics
- Year
- 2005
- Tongue
- English
- Weight
- 226 KB
- Volume
- 34
- Category
- Article
- ISSN
- 0097-5397
No coin nor oath required. For personal study only.