Analysis of meeting protocols by formalisation, simulation, and verification
More Info
expand_more
expand_more