Trace Spaces: An Efficient New Technique for State-Space Reduction.

Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Rauen

Browse the full ESOP paper archive.