Design and validation of protocols: a tutorial (1993)

by G J Holzmann
Venue:Computer Networks and ISDN Systems