TY  - RPRT
TI  - Trace Spaces: an Efficient New Technique for State-Space Reduction
AU  - Lisbeth Fajstrup
AU  - Eric Goubault
AU  - Emmanuel Haucourt
AU  - Samuel Mimram
AU  - Martin Raussen
PY  - 2012
DO  - 10.1007/978-3-642-28869-2_14
UR  - https://arxiv.org/abs/1204.0414
ID  - 1204.0414
ER  -