Playing Safe - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014
Fichier non déposé

Dates et versions

hal-03410685 , version 1 (01-11-2021)

Identifiants

Citer

Thomas Colcombet, Nathanaël Fijalkow, Florian Horn. Playing Safe. Foundations of Software Technology and Theoretical Computer Science, FSTTCS, 2014, NA, India. ⟨10.4230/LIPIcs.FSTTCS.2014.379⟩. ⟨hal-03410685⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More