@InProceedings{   KNPS20,
  Author        = "Kwiatkowska, M. and Norman, G. and Parker, D. and Santos, G.",
  BookTitle     = "Proc. 32nd International Conference on Computer Aided Verification (CAV'20)",
  date-added    = "2020-05-19 22:56:40 +0200",
  date-modified = "2020-05-19 22:56:40 +0200",
  Publisher     = "Springer",
  Series        = "LNCS",
  Title         = "{PRISM}-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time",
  Year          = "2020",
  File          = "PRISM-games 3.0- Stochastic Game Verification with Concurrency, Equilibria and Time - cav20pg3 - a - l.pdf"
}

@InProceedings{ KNPS20, Author = "Kwiatkowska, M. and Norman, G. and Parker, D. and Santos, G.", BookTitle = "Proc. 32nd International Conference on Computer Aided Verification (CAV'20)", date-added = "2020-05-19 22:56:40 +0200", date-modified = "2020-05-19 22:56:40 +0200", Publisher = "Springer", Series = "LNCS", Title = "{PRISM}-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time", Year = "2020", File = "PRISM-games 3.0- Stochastic Game Verification with Concurrency, Equilibria and Time - cav20pg3 - a - l.pdf" }