@PhdThesis{       bonnet-phd2013,
  Author        = "Bonnet, R{\'e}mi",
  date-added    = "2013-11-13 16:01:42 +0000",
  date-modified = "2013-11-13 16:01:42 +0000",
  Month         = "January",
  School        = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France",
  Title         = "Theory of Well-Structured Transition Systems and Extended Vector-Addition Systems",
  Type          = "Th{\`e}se de doctorat",
  URL           = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/bonnet-phd13.pdf",
  Year          = "2013",
  bdsk-url-1    = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/bonnet-phd13.pdf",
  File          = "Theory of Well-Structured Transition Systems and Extended Vector-Addition Systems - Bonnet (0) (0) - a - a - k.pdf"
}

@PhdThesis{ bonnet-phd2013, Author = "Bonnet, R{\'e}mi", date-added = "2013-11-13 16:01:42 +0000", date-modified = "2013-11-13 16:01:42 +0000", Month = "January", School = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France", Title = "Theory of Well-Structured Transition Systems and Extended Vector-Addition Systems", Type = "Th{`e}se de doctorat", URL = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/bonnet-phd13.pdf", Year = "2013", bdsk-url-1 = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/bonnet-phd13.pdf", File = "Theory of Well-Structured Transition Systems and Extended Vector-Addition Systems - Bonnet (0) (0) - a - a - k.pdf" }