@InProceedings{   CzerwinskiLasota:RegSep:OCA:LICS:2017,
  Author        = "Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir",
  BookTitle     = "Proc. of LICS'17",
  date-added    = "2017-05-18 16:27:41 +0000",
  date-modified = "2017-05-18 16:28:14 +0000",
  Title         = "Regular Separability of One Counter Automata",
  Year          = "2017",
  File          = "lics17-oca (0) - a - a - o.pdf"
}

@InProceedings{ CzerwinskiLasota:RegSep:OCA:LICS:2017, Author = "Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir", BookTitle = "Proc. of LICS'17", date-added = "2017-05-18 16:27:41 +0000", date-modified = "2017-05-18 16:28:14 +0000", Title = "Regular Separability of One Counter Automata", Year = "2017", File = "lics17-oca (0) - a - a - o.pdf" }