Publications:Reconstruction and verification of group membership protocols

From CERES
Revision as of 04:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Reconstruction and verification of group membership protocols
Author Muhammad Atif and Sjoerd Cranen and Mohammad Reza Mousavi
Year 2010
PublicationType Report
Journal
HostPublication
DOI
Conference
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584472
Abstract