Analysis of meeting protocols by formalisation, simulation, and verification

More Info
expand_more