Informace o publikaci

Playing Games with Counter Automata

Logo poskytovatele
Autoři

KUČERA Antonín

Rok publikování 2012
Druh Článek ve sborníku
Konference Reachability Problems, RP 2012
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-33512-9_4
Obor Informatika
Klíčová slova multi-counter games
Popis V článku je podán přehled existujících výsledků o vybraných podtřídách her s více čítači.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info