Quantitative Security Analysis (Dagstuhl Seminar 12481)
| Title | Quantitative Security Analysis (Dagstuhl Seminar 12481) |
| Publication Type | Conference Proceedings |
| Year of Conference | 2012 |
| Editor | Köpf, B, Malacaria, P, Palamidessi, C |
| Conference Name | Dagstuhl Reports |
| Volume | 2 |
| Pagination | 135-154 |
Work Package:
WP3
