@TechReport{      Kanazawa:1992:RTP:864654,
  Author        = "Kanazawa, Keiji",
  Address       = "Providence, RI, USA",
  date-added    = "2012-12-04 09:59:56 +0000",
  date-modified = "2012-12-04 10:00:06 +0000",
  Keywords      = "probabilistic model checking",
  Publisher     = "Brown University",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Abrowncs\%3ABrownCS\%2F\%2FCS-92-61",
  Title         = "Reasoning about Time and Probability",
  Year          = "1992",
  File          = "Reasoning about Time and Probability - Kanazawa (0) (0) - a - a - w.pdf"
}

@TechReport{ Kanazawa:1992:RTP:864654, Author = "Kanazawa, Keiji", Address = "Providence, RI, USA", date-added = "2012-12-04 09:59:56 +0000", date-modified = "2012-12-04 10:00:06 +0000", Keywords = "probabilistic model checking", Publisher = "Brown University", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Abrowncs\%3ABrownCS\%2F\%2FCS-92-61", Title = "Reasoning about Time and Probability", Year = "1992", File = "Reasoning about Time and Probability - Kanazawa (0) (0) - a - a - w.pdf" }