Improved Algorithms for Parity and Streett objectives

Improved Algorithms for Parity and Streett objectives

Content
Grafik
Authors
  • Chatterjee, Krishnendu
  • Henzinger, Monika
  • Loitzenbauer, Veronika
Grafik Top
Projects
Grafik Top
Shortfacts
Category
 Journal Paper
Divisions
 Theory and Applications of Algorithms
Subjects
 Theoretische Informatik
Journal or Publication Title
 Logical Methods in Computer Science
ISSN
 1860-5974
Date
 September 2017
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.