594 followers
@__protected Morten Rhigher's ESOP 2012 paper is worth a look: https://t.co/1xcVg9SNwD
@__protected Morten Rhigher's ESOP 2012 paper is worth a look: https://t.co/1xcVg9SNwD
Trace Spaces: an Efficient New Technique for State-Space Reduction. (arXiv:1204.0414v1 [cs.DC]) http://t.co/Ury2m6BG