@misc{indiciae1ba269b401bf,
  title = {Trace Spaces: an Efficient New Technique for State-Space Reduction},
  author = {Lisbeth Fajstrup and Eric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
  year = {2012},
  doi = {10.1007/978-3-642-28869-2\_14},
  url = {https://arxiv.org/abs/1204.0414},
  note = {Source identifier: 1204.0414}
}