@phdthesis{   renault.14.phd,
  title     = {{Contribution aux tests de vacuité pour le model checking explicite}},
  author    = {Etienne Renault},
  publisher = {Universt\'e Pierre et Marie Curie (Paris VI)},
  year      = {2014},
}