Improved Ramsey-Based Büchi Complementation.
| Autor: | Breuers, Stefan, Löding, Christof, Olschewski, Jörg |
|---|---|
| Zdroj: | Foundations of Software Science & Computational Structures (9783642287282); 2012, p150-164, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|