TY  - RPRT
TI  - Uniform Random Sampling of Traces in Very Large Models
AU  - Alain Denise
AU  - Marie-Claude Gaudel
AU  - Sandrine-Dominique Gouraud
AU  - Richard Lasseigne
AU  - Sylvain Peyronnet
AU  - the RaST Collaboration
PY  - 2006
UR  - https://arxiv.org/abs/cs/0606086
ID  - cs/0606086
ER  -