Sciweavers

Multi-Core Model Checking with SPIN
Recent Google, Yahoo, MSN search queries leading to this post
Multi-Core Model Checking with SPIN