Gerard J. Holzmann, Dragan Bosnacki. The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. Software Eng., 33(10):659-674, 2007. [doi]
@article{HolzmannB07:0, title = {The Design of a Multicore Extension of the SPIN Model Checker}, author = {Gerard J. Holzmann and Dragan Bosnacki}, year = {2007}, doi = {10.1109/TSE.2007.70724}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70724}, tags = {design}, researchr = {https://researchr.org/publication/HolzmannB07%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {33}, number = {10}, pages = {659-674}, }