TY  - THES
DP  - http://www.theses.fr/2010GRENM002
TI  - Bisimulations dans les calculs avec passivation
AU  - Lenglet, Sergueï
A3  - Stefani, Jean-Bernard; Schmitt, Alan
PY  - 2010
SP  - 1 vol. (140 p.)
N1  - Thèse de doctorat Informatique Grenoble 2010
N1  - 2010GRENM002
ER  -