@phdthesis{sangnier-phd08,
   author = {Sangnier, Arnaud}, 
   school = {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France}, 
   type = {Th{\`e}se de doctorat}, 
   title = {V{\'e}rification de syst{\`e}mes avec compteurs et pointeurs}, 
   year = {2008}, 
}