Publications

Export 2 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Ryan, Mark D.  [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.