@InProceedings{   DaviaudColcombetZuleger,
  Author        = "Daviaud, Laure and Colcombet, Thomas and Zuleger, Florian",
  BookTitle     = "Proc. of MFCS'14",
  date-added    = "2014-08-05 08:31:08 +0000",
  date-modified = "2014-08-05 08:31:35 +0000",
  Title         = "Size-Change Abstraction and Max-Plus Automata",
  Year          = "2014",
  File          = "Size-Change Abstraction and Max-Plus Automata - Daviaud, Colcombet, Zuleger (1) (0) - a - a - z.pdf",
  file-2        = "Size-Change Abstraction and Max-Plus Automata - Daviaud, Colcombet, Zuleger (0) (0) - a - a - z.pdf"
}

@InProceedings{ DaviaudColcombetZuleger, Author = "Daviaud, Laure and Colcombet, Thomas and Zuleger, Florian", BookTitle = "Proc. of MFCS'14", date-added = "2014-08-05 08:31:08 +0000", date-modified = "2014-08-05 08:31:35 +0000", Title = "Size-Change Abstraction and Max-Plus Automata", Year = "2014", File = "Size-Change Abstraction and Max-Plus Automata - Daviaud, Colcombet, Zuleger (1) (0) - a - a - z.pdf", file-2 = "Size-Change Abstraction and Max-Plus Automata - Daviaud, Colcombet, Zuleger (0) (0) - a - a - z.pdf" }