1994 | ||
---|---|---|
2 | N. Bennacer, Gerard Florin, C. Fraize, Stéphane Natkin: Probabilistic Validation of a Remote Procedure Call Protocol. Application and Theory of Petri Nets 1994: 59-78 | |
1991 | ||
1 | Gerard Florin, C. Fraize, Stéphane Natkin: Searching Best Paths to Worst States. PNPM 1991: 204-209 |
1 | N. Bennacer | [2] |
2 | Gerard Florin | [1] [2] |
3 | Stéphane Natkin | [1] [2] |