The design of a multicore extension of the spin model checker (0)

by Gerard J Holzmann, Dragan Bošnacki
Venue:IEEE Trans. Softw. Eng