Artikel in einem Konferenzbericht,

Conditionally Optimal Algorithms for Generalized Büchi Games.

, , , und .
MFCS, Volume 58 von LIPIcs, Seite 25:1-25:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen