@PHDTHESIS{lengl2010,
url = "http://www.theses.fr/2010GRENM002",
title = "Bisimulations dans les calculs avec passivation",
author = "Lenglet, Sergueï",
year = "2010",
pages = "1 vol. (140 p.)",
note = "Thèse de doctorat dirigée par Stefani, Jean-Bernard et Schmitt, Alan Informatique Grenoble 2010",
note = "2010GRENM002",
}