@InProceedings{   tacas17,
  Author        = "D'Antoni, Loris and Veanes, Margus",
  BookTitle     = "In proc. of TACAS'17",
  date-added    = "2017-04-06 09:07:04 +0000",
  date-modified = "2017-04-06 10:11:43 +0000",
  Keywords      = "citesme!",
  Title         = "Forward Bisimulations for Nondeterministic Symbolic Finite Automata",
  Year          = "2017",
  File          = "tacas17-10 (0) - a - a - f.pdf"
}

@InProceedings{ tacas17, Author = "D'Antoni, Loris and Veanes, Margus", BookTitle = "In proc. of TACAS'17", date-added = "2017-04-06 09:07:04 +0000", date-modified = "2017-04-06 10:11:43 +0000", Keywords = "citesme!", Title = "Forward Bisimulations for Nondeterministic Symbolic Finite Automata", Year = "2017", File = "tacas17-10 (0) - a - a - f.pdf" }