Publications

Export 1 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Silvia S. Pelozo  [Clear All Filters]
Book Chapter
S. S. Pelozo and P. R. D'Argenio, “Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability”, in Trustworthy Global Computing, vol. 8191, C. Palamidessi and M. D. Ryan, Eds. 2013, p. 182-197.