Parallel protocol verification using the two-phase algorithm.

Maria C. Yuang, Aaron Kershenbaum

Browse the full COMPSAC paper archive.