Parallel protocol verification using the two-phase algorithm | IEEE Conference Publication | IEEE Xplore