Tutorial: Proving properties of concurrent system with spin (1995)

by G J Holzmann
Venue:In Proc. of the 6th Int. Conf. on Concurrency Theory (CONCUR), LNCS