![](/img/cover-not-exists.png)
Formal analysis for robust anti-SPIT protection using model checking
Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis SoupionisVolume:
11
Language:
english
Pages:
15
DOI:
10.1007/s10207-012-0159-4
Date:
April, 2012
File:
PDF, 820 KB
english, 2012