@InProceedings{   BacciBacciLarsenMardare,
  Author        = "Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu",
  date-added    = "2013-01-22 05:09:05 +0000",
  date-modified = "2013-01-22 05:09:29 +0000",
  Title         = "On-the-Fly Exact Computation of Bisimilarity Distances",
  File          = "On-the-Fly Exact Computation of Bisimilarity Distances - Bacci, Bacci, Larsen, Mardare (0) (0) - a - a - s.pdf"
}

@InProceedings{ BacciBacciLarsenMardare, Author = "Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu", date-added = "2013-01-22 05:09:05 +0000", date-modified = "2013-01-22 05:09:29 +0000", Title = "On-the-Fly Exact Computation of Bisimilarity Distances", File = "On-the-Fly Exact Computation of Bisimilarity Distances - Bacci, Bacci, Larsen, Mardare (0) (0) - a - a - s.pdf" }