Erratum to Protocol validation by simultaneous reachability analysis : [Computer Communications 20 (1997) 772-788]

Kadir Ă–zdemir, Hasan Ural. Erratum to Protocol validation by simultaneous reachability analysis : [Computer Communications 20 (1997) 772-788]. Computer Communications, 21(6):591, 1998. [doi]

Abstract

Abstract is missing.