@misc{indiciae5a9d05e81a58,
  title = {Uniform Random Sampling of Traces in Very Large Models},
  author = {Alain Denise and Marie-Claude Gaudel and Sandrine-Dominique Gouraud and Richard Lasseigne and Sylvain Peyronnet and the RaST Collaboration},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0606086},
  note = {Source identifier: cs/0606086}
}