Model-checking games for logics of imperfect information

Amsterdam [u.a.] / Elsevier (2013) [Journal Article, Contribution to a conference proceedings]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich

Identifikationsnummern

  • ISSN: 0304-3975