Report copyright - FORMAL VERIFICATION OF THE TTP GROUP MEMBERSHIP ALGORITHM · algorithm that constitutes one of the central services of the Time-Triggered Pro tocol (TTP). The group membership algorithm
Please pass captcha verification before submit form