Login / Signup

Parallel protocol verification using the two-phase algorithm.

Maria C. YuangAaron Kershenbaum
Published in: COMPSAC (1989)
Keyphrases