@misc{indiciae83c447600bf5,
  title = {Semiring-based Specification Approaches for Quantitative Security},
  author = {Fabio Martinelli and Ilaria Matteucci and Francesco Santini},
  year = {2015},
  doi = {10.4204/eptcs.194.7},
  url = {https://arxiv.org/abs/1509.08565},
  note = {Source identifier: 1509.08565}
}