Design and Validation of Protocols: A Tutorial

Gerard J. Holzmann. Design and Validation of Protocols: A Tutorial. Computer Networks, 25(9):981-1017, 1993.

Abstract

Abstract is missing.