Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Semiring-based Specification Approaches for Quantitative Security
QAPL, 2015.
@inproceedings{QAPL-2015-MartinelliMS,
author = "Fabio Martinelli and Ilaria Matteucci and Francesco Santini",
booktitle = "{Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems}",
doi = "10.4204/EPTCS.194.7",
pages = "95--109",
series = "{EPTCS}",
title = "{Semiring-based Specification Approaches for Quantitative Security}",
volume = 194,
year = 2015,
}