@PHDTHESIS{fourn2015,
url = "http://www.theses.fr/2015REN1S170",
title = "Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques",
author = "Fournier, Paulin",
year = "2015",
note = "Thèse de doctorat dirigée par Jéron, Thierry et Bertrand, Nathalie Informatique Rennes 1 2015",
note = "2015REN1S170",
url = "http://www.theses.fr/2015REN1S170/document",
}