Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Ryan, Mark D.
[Clear All Filters]
2013
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.
DOI
Google Scholar
BibTex
“
Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
”,
TGC
, vol. 8191. 2013.
Google Scholar
BibTex
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables
