@inproceedings{Olmedo:2015:Festschrift,
  author    = {Joost{-}Pieter Katoen and
               Friedrich Gretz and
               Nils Jansen and
               Benjamin Lucien Kaminski and
               Federico Olmedo},
  title     = {Understanding Probabilistic Programs},
  booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
               Olderog on the Occasion of His 60th Birthday},
  pages     = {15--32},
  year      = {2015},
  series    = {Lecture Notes in Computer Science},
  volume    = {9360},
  publisher = {Springer}  
}