Model-checking games for logics of imperfect information

Amsterdam [u.a.] / Elsevier (2013) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

Theoretical computer science
Band: 493
Seite(n): 2-14

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich

Identifikationsnummern