Artikel in einem Konferenzbericht,

Mean-Payoff Games on Timed Automata.

, , , und .
FSTTCS, Volume 65 von LIPIcs, Seite 44:1-44:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen