%0 Journal Article %1 journals/tse/HolzmannB07 %A Holzmann, Gerard J. %A Bosnacki, Dragan %D 2007 %J IEEE Trans. Software Eng. %K dblp %N 10 %P 659-674 %T The Design of a Multicore Extension of the SPIN Model Checker. %U http://dblp.uni-trier.de/db/journals/tse/tse33.html#HolzmannB07 %V 33

@article{journals/tse/HolzmannB07, added-at = {2018-11-14T00:00:00.000+0100}, author = {Holzmann, Gerard J. and Bosnacki, Dragan}, biburl = {https://www.bibsonomy.org/bibtex/2a5f5f07f1b40999de8f8474b96f6b087/dblp}, ee = {https://www.wikidata.org/entity/Q56068845}, interhash = {8eb8275383f12ad4377766f0f7a5755c}, intrahash = {a5f5f07f1b40999de8f8474b96f6b087}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 10, pages = {659-674}, timestamp = {2018-11-15T14:48:18.000+0100}, title = {The Design of a Multicore Extension of the SPIN Model Checker.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse33.html#HolzmannB07}, volume = 33, year = 2007 }