Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi. Quantitative Security Analysis (Dagstuhl Seminar 12481). Dagstuhl Reports, 2(11):135-154, 2012. [doi]
@article{KopfMP12, title = {Quantitative Security Analysis (Dagstuhl Seminar 12481)}, author = {Boris Köpf and Pasquale Malacaria and Catuscia Palamidessi}, year = {2012}, doi = {10.4230/DagRep.2.11.135}, url = {http://dx.doi.org/10.4230/DagRep.2.11.135}, researchr = {https://researchr.org/publication/KopfMP12}, cites = {0}, citedby = {0}, journal = {Dagstuhl Reports}, volume = {2}, number = {11}, pages = {135-154}, }