@Inproceedings{EPTCS125.1,
  author    = {Bartocci, Ezio and Bortolussi, Luca and Nenzi, Laura and Sanguinetti, Guido},
  year      = {2013},
  title     = {On the Robustness of Temporal Properties for Stochastic Models},
  editor    = {Dang, Thao and Piazza, Carla},
  booktitle = {{\rm Proceedings Second International Workshop on}
               Hybrid Systems and Biology,
               {\rm Taormina, Italy, 2nd September 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {125},
  publisher = {Open Publishing Association},
  pages     = {3-19},
  doi       = {10.4204/EPTCS.125.1},
}