@PhdThesis{       Cadilhac,
  Author        = "Cadilhac, Michael",
  date-added    = "2016-01-19 13:37:32 +0000",
  date-modified = "2016-01-19 13:38:06 +0000",
  Keywords      = "Parikh automata",
  Title         = "Automata with a semilinear constraint",
  Year          = "2013",
  File          = "Automata with a semilinear constraint - Cadilhac (1) (0) - a - a - r.pdf",
  file-2        = "Automata with a semilinear constraint - Cadilhac (0) (0) - a - a - r.pdf"
}

@PhdThesis{ Cadilhac, Author = "Cadilhac, Michael", date-added = "2016-01-19 13:37:32 +0000", date-modified = "2016-01-19 13:38:06 +0000", Keywords = "Parikh automata", Title = "Automata with a semilinear constraint", Year = "2013", File = "Automata with a semilinear constraint - Cadilhac (1) (0) - a - a - r.pdf", file-2 = "Automata with a semilinear constraint - Cadilhac (0) (0) - a - a - r.pdf" }