Model-checking games for logics of imperfect information

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

Theoretical computer science
Volume: 493
Page(s): 2-14

Authors

Selected Authors

Grädel, Erich

Identifier