- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin: Testing Distributed Systems Through Symbolic Model Checking. FORTE 2007: 263-279 |
| 1 | Laurent Van Begin | [1] |
| 2 | Thierry Massart | [1] |
| 3 | Cédric Meuter | [1] |