@InProceedings{   dA99,
  Author        = "de Alfaro, L.",
  Editor        = "Baeten, J. and Mauw, S.",
  Address       = "Eindhoven",
  Month         = "August",
  BookTitle     = "Proc. 10th International Conference on Concurrency Theory (CONCUR'99)",
  date-added    = "2014-01-16 15:52:04 +0000",
  date-modified = "2014-01-16 15:52:04 +0000",
  Pages         = "66--81",
  Publisher     = "Springer",
  Series        = "LNCS",
  Title         = "Computing Minimum and Maximum Reachability Times in Probabilistic Systems",
  Volume        = "1664",
  Year          = "1999",
  File          = "Computing Minimum and Maximum Reachability Times in Probabilistic Systems - Alfaro (0) (0) - a - a - y.pdf"
}

@InProceedings{ dA99, Author = "de Alfaro, L.", Editor = "Baeten, J. and Mauw, S.", Address = "Eindhoven", Month = "August", BookTitle = "Proc. 10th International Conference on Concurrency Theory (CONCUR'99)", date-added = "2014-01-16 15:52:04 +0000", date-modified = "2014-01-16 15:52:04 +0000", Pages = "66--81", Publisher = "Springer", Series = "LNCS", Title = "Computing Minimum and Maximum Reachability Times in Probabilistic Systems", Volume = "1664", Year = "1999", File = "Computing Minimum and Maximum Reachability Times in Probabilistic Systems - Alfaro (0) (0) - a - a - y.pdf" }