Improved Algorithms for Parity and Streett objectives

Improved Algorithms for Parity and Streett objectives

Authors
  • Chatterjee, Krishnendu
  • Henzinger, Monika
  • Loitzenbauer, Veronika
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