F
[Fou15] Paulin Fournier. Parameterized verification of networks of many identical processes. Thèse de doctorat, Université Rennes 1, France, December 2015. 
@phdthesis{phd-fournier,
  author =              {Fournier, Paulin},
  title =               {Parameterized verification of networks of many
                         identical processes},
  year =                {2015},
  month =               dec,
  school =              {Universit{\'e} Rennes~1, France},
  type =                {Th\`ese de doctorat},
}
List of authors