@PhdThesis{       DeAlfaro:PhD:1998,
  Author        = "De Alfaro, Luca",
  Address       = "Stanford, CA, USA",
  advisor       = "Manna, Zohar",
  date-added    = "2014-01-16 14:16:15 +0000",
  date-modified = "2014-12-18 20:55:38 +0000",
  ISBN          = "0-591-90826-3",
  Note          = "AAI9837082",
  School        = "Stanford University",
  Title         = "Formal Verification of Probabilistic Systems",
  Year          = "1998",
  File          = "Formal Verification of Probabilistic Systems - De Alfaro (0) (0) - a - a - c.pdf",
  file-2        = "Formal Verification of Probabilistic Systems - De Alfaro (1) (0) - a - a - c.pdf"
}

@PhdThesis{ DeAlfaro:PhD:1998, Author = "De Alfaro, Luca", Address = "Stanford, CA, USA", advisor = "Manna, Zohar", date-added = "2014-01-16 14:16:15 +0000", date-modified = "2014-12-18 20:55:38 +0000", ISBN = "0-591-90826-3", Note = "AAI9837082", School = "Stanford University", Title = "Formal Verification of Probabilistic Systems", Year = "1998", File = "Formal Verification of Probabilistic Systems - De Alfaro (0) (0) - a - a - c.pdf", file-2 = "Formal Verification of Probabilistic Systems - De Alfaro (1) (0) - a - a - c.pdf" }