@inproceedings{DBLP:journals/corr/MartinelliMS15,
  author    = {Fabio Martinelli and
               Ilaria Matteucci and
               Francesco Santini},
  title     = {Semiring-based Specification Approaches for Quantitative Security},
  booktitle = {{QAPL}},
  series    = {{EPTCS}},
  volume    = {194},
  pages     = {95--109},
  year      = {2015}
}