@InProceedings{   ClementeLasotaLazicMazowiecki:LICS:2017,
  Author        = "Clemente, Lorenzo and Lasota, S{{\l}}awomir and Lazi{\'c}, Ranko and Mazowiecki, Filip",
  BookTitle     = "Proc. of LICS'17",
  date-added    = "2017-03-29 16:32:30 +0000",
  date-modified = "2017-03-29 16:33:52 +0000",
  Title         = "Timed pushdown automata and branching vector addition systems",
  Year          = "2017",
  bdsk-url-1    = "https://dx.doi.org/10.1109/LICS.2017.8005083",
  File          = "lics17-tpda (0) - a - a - s.pdf",
  file-2        = "sub (0) - a - a - s.pdf",
  file-3        = "Filip (0) - a - a - s.pdf",
  file-4        = "Chennai.2016.12-tpda (0) - a - a - s.pdf"
}

@InProceedings{ ClementeLasotaLazicMazowiecki:LICS:2017, Author = "Clemente, Lorenzo and Lasota, S{{\l}}awomir and Lazi{\'c}, Ranko and Mazowiecki, Filip", BookTitle = "Proc. of LICS'17", date-added = "2017-03-29 16:32:30 +0000", date-modified = "2017-03-29 16:33:52 +0000", Title = "Timed pushdown automata and branching vector addition systems", Year = "2017", bdsk-url-1 = "https://dx.doi.org/10.1109/LICS.2017.8005083", File = "lics17-tpda (0) - a - a - s.pdf", file-2 = "sub (0) - a - a - s.pdf", file-3 = "Filip (0) - a - a - s.pdf", file-4 = "Chennai.2016.12-tpda (0) - a - a - s.pdf" }