The Design of a multi-core extension of the Spin Model Checker (2009)

by G J Holzmann, D Bosnacki
Venue:IEEE Transactions on Software Engineering