2008 | ||
---|---|---|
1 | EE | Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet: Coverage-biased Random Exploration of Models. Electr. Notes Theor. Comput. Sci. 220(1): 3-14 (2008) |
1 | Alain Denise | [1] |
2 | Marie-Claude Gaudel | [1] |
3 | Sandrine-Dominique Gouraud | [1] |
4 | Richard Lassaigne | [1] |
5 | Sylvain Peyronnet | [1] |