@PhdThesis{Fontaine5,
  title =        "Techniques for verification of concurrent systems with
                 invariants",
  author =       "Pascal Fontaine",
  year =         "2004",
  school =       "Institut Montefiore, Université de Liège",
  month =        sep,
  address =      "Belgium",
}