ACM/IEEE Logic in Computer Science, LICS 2016

Article Details
Title: Games with bound guess actions
Article URLs:
Alternative Article URLs:
Authors: Thomas Colcombet
  • Institut de Recherche en Informatique Fondamentale, CNRS
  • Université Paris Diderot
Stefan Göller
  • Laboratoire Spécification et Vérification, ENS de Cachan
  • CNRS
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/lics/ColcombetG16
Author Comments:

Discuss this paper and its artifacts below