Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Silvia S. Pelozo  [Clear All Filters]
2013
S. S. Pelozo and D'Argenio, P. R., Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability, in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers, 2013, vol. 8191, pp. 182-197.PDF icon paper-304.pdf (329.79 KB)
Powered by Drupal