@InProceedings{   KwiatkowskaNormanParker:CAV:2011,
  Author        = "Kwiatkowska, M. and Norman, G. and Parker, D.",
  Editor        = "Gopalakrishnan, G. and Qadeer, S.",
  BookTitle     = "Proc. of CAV'11",
  date-added    = "2020-04-24 15:59:12 +0200",
  date-modified = "2020-04-24 15:59:39 +0200",
  Pages         = "585--591",
  Publisher     = "Springer",
  Series        = "LNCS",
  Title         = "{PRISM} 4.0: Verification of Probabilistic Real-time Systems",
  Volume        = "6806",
  Year          = "2011",
  File          = "PRISM 4.0- Verification of Probabilistic Real-time Systems - cav11 - a - r.pdf"
}

@InProceedings{ KwiatkowskaNormanParker:CAV:2011, Author = "Kwiatkowska, M. and Norman, G. and Parker, D.", Editor = "Gopalakrishnan, G. and Qadeer, S.", BookTitle = "Proc. of CAV'11", date-added = "2020-04-24 15:59:12 +0200", date-modified = "2020-04-24 15:59:39 +0200", Pages = "585--591", Publisher = "Springer", Series = "LNCS", Title = "{PRISM} 4.0: Verification of Probabilistic Real-time Systems", Volume = "6806", Year = "2011", File = "PRISM 4.0- Verification of Probabilistic Real-time Systems - cav11 - a - r.pdf" }