Ambiguous classes in the games μ-calculus hierarchy - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Dates et versions

hal-01288878 , version 1 (15-03-2016)

Identifiants

Citer

Luigi Santocanale, André Arnold. Ambiguous classes in the games μ-calculus hierarchy. 6th International Conference on Foundations of Software Science and Computation Structures, Apr 2003, Warsaw, Poland. pp.70--86, ⟨10.1007/3-540-36576-1_5⟩. ⟨hal-01288878⟩
74 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More