3,643 followers
Trace Spaces: an Efficient New Technique for State-Space Reduction. (arXiv:1204.0414v1 [cs.DC]) http://t.co/Ury2m6BG
Trace Spaces: an Efficient New Technique for State-Space Reduction. (arXiv:1204.0414v1 [cs.DC]) http://t.co/Ury2m6BG