TY  - THES
DP  - 
		http://www.theses.fr/1996BOR10512
TI  - Propriétés logiques du non déterminisme et μ-calcul modal
AU  - Janin, David
A3  - Arnold, André
PY  - 1996
SP  - 125 p
N1  - Thèse de doctorat Informatique Bordeaux 1 1996
N1  - 1996BOR10512
ER  -