Symbolic path-based protocol verification

Wen Chien Liu, Chyan-Goei Chung. Symbolic path-based protocol verification. Information \& Software Technology, 42(4):245-255, 2000.

Abstract

Abstract is missing.