@InProceedings{   dA98b,
  Author        = "de Alfaro, L.",
  BookTitle     = "Proc. 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)",
  date-added    = "2014-06-08 14:47:40 +0000",
  date-modified = "2014-06-08 14:47:40 +0000",
  Pages         = "454--465",
  Title         = "How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems",
  Year          = "1998",
  File          = "How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems - Alfaro (0) (0) - a - a - v.pdf"
}

@InProceedings{ dA98b, Author = "de Alfaro, L.", BookTitle = "Proc. 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)", date-added = "2014-06-08 14:47:40 +0000", date-modified = "2014-06-08 14:47:40 +0000", Pages = "454--465", Title = "How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems", Year = "1998", File = "How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems - Alfaro (0) (0) - a - a - v.pdf" }