Decomposing Global Quantitative Properties into Local Ones.

Ilaria Matteucci, Francesco Santini

Browse the full ESORICS paper archive.